htdocs/style.css

   1 html {background-color:transparent;}
   2 body {line-height: 120%;  background-color:#ffffd2; color: black}
   3 p {line-height: 120%;  background-color:#ffffd2; color: black}
   4 A:link { text-decoration:underline; font-weight:bold; color:#161FFA }
   5 A:visited { text-decoration:underline;font-weight:bold; color:#06AAFF }
   6 A:active { text-decoration:underline; font-weight:bold; color:#8470FF }
   7 A:hover {  text-decoration:underline;font-weight:bold; color:#FF707F }
   8 H1 {text-align: center}
   9 pre  {line-height: 120% ;color: black; background: #a3ffd2;}
  10 div.code  {
  11   margin-left: 10px;
  12   padding-left: 8px;
  13   padding-top: 4px;
  14   padding-bottom: 4px;
  15   margin-top: 10px;
  16   margin-bottom: 10px;
  17   background-color:#F0F0F0;
  18   border-left: solid 3px #4DB56A;
  19   white-space:pre;
  20 }
  21 div.console {
  22   margin-left: 10px;
  23   padding-left: 8px;
  24   padding-bottom: 8px;
  25   background-color:black;
  26   color: white;
  27   white-space:pre;
  28 }
  29 div.notice {font-weight:bold;color:red}
  30 span.notice {font-weight:bold;color:red}
  31 img {border:none;}
  32 dt {font-weight:bold;}
  33 li {line-height: 130%;}
  34 blockquote {padding:10px;margin-left: 10pt;border: solid 1px #AAAAAA;}
  35 span.refer {color: gray;}
  36 div.footer{text-align:center;color:#800000;}