www/jf.css

   1 /* $Id: jf.css,v 1.16 2009/03/30 14:09:50 mdk Exp $ */
   2
   3 body {
   4         background-color: #ffe;
   5 }
   6 a:link    { color: #44f; }
   7 a:visited { color: #72f; }
   8 a:hover   { color: #009; }
   9 a:active  { color: #f33; }
  10
  11 table tr.odd,table tr.dark {
  12         background-color: #f0f0e0;
  13         vertical-align: top;
  14 }
  15
  16 table tr.even {
  17         background-color: #f8f8e4;
  18         vertical-align: top;
  19 }
  20
  21 div.date {
  22         background-color: #f0f0e0;
  23         text-align: right;
  24         font-size: smaller;
  25         font-family: helvetica, sans-serif;
  26         border-radius: 2px;
  27 }
  28 div.copyright {
  29         background-color: #f0f0e0;
  30         text-align: center;
  31         font-size: smaller;
  32         font-family: helvetica, sans-serif;
  33         border-radius: 2px;
  34 }
  35 div.rcsid {
  36         background-color: #f0f0e0;
  37         text-align: right;
  38         font-size: smaller;
  39         font-family: helvetica, sans-serif;
  40         border-radius: 2px;
  41 }
  42
  43 div.small {
  44         font-size: smaller;
  45 }
  46
  47 span.new {
  48         font-family: helvetica, sans-serif;
  49         font-weight: bold;
  50         font-size: smaller;
  51         color: #d33;
  52 }
  53 span.updated {
  54         font-family: helvetica, sans-serif;
  55         font-weight: bold;
  56         font-size: smaller;
  57         color: #3a5;
  58 }
  59
  60 h1 {
  61         font-family: helvetica, sans-serif;
  62         font-size: 220%;
  63         margin-top: 0px;
  64         border-style: inset;
  65         border-width: 0px 0px 3px 0px;
  66         border-color: #000;
  67         border-radius: 2px;
  68         padding-left: 4px;
  69 }
  70 span.h2small{
  71         font-family: helvetica, sans-serif;
  72         font-style: italic;
  73         font-size: 50%;
  74 }
  75 h2 {
  76         font-weight: normal;
  77         background-color: #ddc;
  78         color: #210;
  79         border-style: inset;
  80         border-width: 0px 2px 2px 0px;
  81         border-color: #000;
  82         border-radius: 2px;
  83         padding-left: 8px;
  84 }
  85 h3 {
  86         border-style: inset;
  87         border-width: 0px 0px 1px 0px;
  88         border-color: #aa9;
  89 }
  90
  91 dd {
  92         padding-top: 0.2em;
  93         padding-bottom: 0.2em;
  94 }
  95 li {
  96         padding-top: 0.2em;
  97         padding-bottom: 0.2em;
  98 }
  99
 100 pre {
 101         background-color: #fff;
 102         padding: 0.3em;
 103         border: 1px inset #885;
 104         border-radius: 2px;
 105         white-space: pre; /* Netscape 4.x needs it */
 106 }
 107
 108 /* EOF */