www/jm.css

   1 div.mirror-navigator {
   2         text-align: right;
   3         font-size: small;
   4 }
   5
   6 div.copyright {
   7         text-align: right;
   8         font-family: helvetica, sans-serif;
   9         font-size: smaller;
  10         color: rgb(40%,40%,40%)
  11 }
  12
  13 div.obsolete {
  14     padding: 2px 5px 2px 5px;
  15     margin-right: 5px;
  16     margin-top: 5px;
  17     margin-bottom: 18px;
  18     position: fixed;
  19     top: 1px;
  20     right: 0px;
  21     width: 25em;
  22     font-size: 75%;
  23     color: #b94a48;
  24     background-color: #f2dede;
  25     border-color: #eed3d7;
  26     border-radius: 4px;
  27     border: 1px solid #fbefd5;
  28 }
  29
  30 div#googlesearch {
  31     width: 30em;
  32 }
  33
  34 body {
  35         background: BEIGE;
  36         color: black;
  37         margin-left: 3%;
  38         margin-right: 3%;
  39 }
  40
  41 h1 {
  42         background-color: gold;
  43         text-align: center;
  44         border-style: inset;
  45         border-width: 0 3 3 0;
  46         border-color: #000;
  47 }
  48
  49 h2 {
  50         background-color: gold;
  51         border-style: inset;
  52         border-width: 0 2 2 0;
  53         border-color: #000;
  54 }
  55
  56 h3 {
  57         background-color: gold;
  58         border-width: 0 0 1 0;
  59         border-color: #000;
  60 }
  61
  62 p {
  63         text-indent: 0em;
  64 }
  65
  66 p.indent {
  67         text-indent: 1em;
  68 }
  69
  70 p.noindent {
  71         text-indent: 0em;
  72 }
  73
  74 strong {
  75         font-weight: bold;
  76 }
  77
  78 dl dd {
  79         padding-top: 0.3em;
  80         padding-bottom: 0.3em;
  81 }
  82
  83 ul li {
  84         padding-bottom: 0.3em;
  85 }
  86
  87 pre {
  88         padding: 0.3em;
  89         background: #dddddd;
  90 }
  91
  92 /* as of now, @import has not implemented in NN4 nor IE3-4 */
  93 @import url(local.css)
  94
  95 /* EOF */
  96