////////////////// tilHtml  //////////////////////////////

  public static void tilHTML(byte[][] a, String fil) throws IOException
  {
    PrintWriter ut = new PrintWriter(fil);

    ut.println("<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\"");
    ut.println("\"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">");
    ut.println("<html xmlns=\"http://www.w3.org/1999/xhtml\" xml:lang=\"no\" lang=\"no\">");

    ut.println("<head>");
    ut.println("<title lang=\"no\">En labyrint</title>");
    ut.println("<meta http-equiv = \"Content-Type\" content = \"text/html;charset=iso-8859-1\" />");
    ut.println("</head>\n");

    ut.println("<style type=\"text/css\" media=\"screen\">");
    ut.println("<!--");
    ut.println("body");
    ut.println("{");
    ut.println("  font-family: verdana;");
    ut.println("}\n");

    ut.println("td.bg");
    ut.println("{");
    ut.println("  background-color: #b0b0b0;");
    ut.println("}\n");

    ut.println("table.labyrint");
    ut.println("{");
    ut.println("  margin-right: auto; margin-left: auto;");
    ut.println("  text-align: center;");
    ut.println("}\n");

    ut.println("table.labyrint td:first-child");
    ut.println("{");
    ut.println("  border-left: solid black 2px;");
    ut.println("  width: 20px;");
    ut.println("}\n");

    ut.println("table.labyrint td:last-child ");
    ut.println("{");
    ut.println("  border-right: solid black 2px;");
    ut.println("  width: 20px;");
    ut.println("}\n");

    ut.println("table.labyrint tr:first-child td");
    ut.println("{");
    ut.println("  border-right: solid black 1px;");
    ut.println("  border-top: solid black 2px;");
    ut.println("  border-bottom: solid black 1px;");
    ut.println("  width: 20px;");
    ut.println("}\n");

    ut.println("table.labyrint tr:first-child td:last-child");
    ut.println("{");
    ut.println("  border-right: solid black 2px;");
    ut.println("  border-top: solid black 2px;");
    ut.println("  border-bottom: solid black 1px;");
    ut.println("  width: 20px;");
    ut.println("}\n");

    ut.println("table.labyrint tr + tr td");
    ut.println("{");
    ut.println("  border-right: solid black 1px;");
    ut.println("  border-bottom: solid black 1px;");
    ut.println("  width: 20px;");
    ut.println("}\n");

    ut.println("table.labyrint tr:last-child td");
    ut.println("{");
    ut.println("  border-right: solid black 1px;");
    ut.println("  border-bottom: solid black 2px;");
    ut.println("  width: 20px;");
    ut.println("}\n");

    ut.println("table.labyrint tr:last-child td:last-child");
    ut.println("{");
    ut.println("  border-right: solid black 2px;");
    ut.println("  width: 20px;");
    ut.println("}\n");

    ut.println("-->");
    ut.println("</style>\n");

    ut.println("<body>");

    ut.println("<br /> <br /> \n");

    ut.println("<table class=\"labyrint\" border=\"0\" cellspacing=\"0\" cellpadding=\"0\">");

    int m = a.length;
    int n = a[0].length;

    for (int i = 0; i < m; i++)
    {
      ut.println("<tr>");
      for (int j = 0; j < n; j++)
      {
        if (a[i][j] == 1)
          ut.println(" <td class=\"bg\">&nbsp;</td>");  // del av en vegg
        else if (a[i][j] == 2)
          ut.println(" <td>o</td>");                    // del av en vei
        else
          ut.println(" <td>&nbsp;</td>");               // åpen rute
      }
      ut.println("</tr>");
    }
    ut.println("</table>");

    ut.println("</body>");
    ut.println("</html>");

    ut.close();
  }