doc++-header.html

   1 <html lang="ja">
   2 <head>
   3 <meta http-equiv="Content-Type" content="text/html;charset=ascii">
   4 <style type="text/css">
   5 <!--
   6 body
   7 {
   8         font-family:Arial;
   9         font-size:10pt;
  10         color:#000055;
  11         background-color:#f7f7ff;
  12         margin-bottom:100ex;
  13 }
  14 a:link          { color:#0000ff; }
  15 a:visited       { color:#000055; }
  16 a:active        { color:#ff0000; }
  17 a:hover         { color:#ff0000; }
  18 h2
  19 {
  20         font-size:12pt;
  21         color:#ffffff;
  22         background-color:#000055;
  23         padding:5pt;
  24 }
  25 h2 a:link       { color:#ffffff; }
  26 h2 a:visited    { color:#eeeeff; }
  27 h2 a:active     { color:#ffff00; }
  28 h2 a:hover      { color:#ffff00; }
  29 h3
  30 {
  31         font-size:10pt;
  32         color:#000055;
  33         background-color:#ddddff;
  34         padding:2pt;
  35 }
  36 blockquote
  37 {
  38         border-style: solid solid solid solid;
  39         border-width:1px;
  40         padding:5pt;
  41 }
  42 blockquote dl
  43 {
  44         margin-left:0pt;
  45         margin-right:0pt;
  46         margin-top:5pt;
  47         margin-bottom:5pt;
  48 }
  49 blockquote dt
  50 {
  51         font-weight:bold;
  52 }
  53 code, tt
  54 {
  55         color:550055;
  56         font-family:Courier New;
  57 }
  58 pre
  59 {
  60         border-style: solid solid solid solid;
  61         border-width:1px;
  62         background-color:#ffffff;
  63         color:550055;
  64         font-family:Courier New;
  65 }
  66 i
  67 {
  68         color:#550055;
  69         font-style:normal;
  70 }
  71 p
  72 {
  73         margin:0pt;
  74         padding:0pt;
  75 }
  76 dl
  77 {
  78         margin-left:30pt;
  79 }
  80 -->
  81 </style>
  82
  83 </head>
  84
  85 <body>