doc/head.html

   1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN"
   2 "http://www.w3.org/TR/html4/strict.dtd">
   3 <html>
   4 <head>
   5   <title>$title</title>
   6   <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
   7   <link rel="icon" href="favicon.png" type="image/x-icon">
   8   <link rel="shortcut icon" href="favicon.png" type="image/x-icon">
   9   <link rel="icon" href="favicon.png" type="image/ico">
  10   <link rel="shortcut icon" href="favicon.png" type="image/ico">
  11   <link rel="stylesheet" type="text/css" href="e.css">
  12 </head>
  13
  14 <body>