Home | History | Annotate | Download | only in web 
      1 body {
      2   font-family: Helvetica,Arial,sans-serif;
      3   margin: 0;
      4   background-color: #fff;
      5   color: #000;
      6 }
      7 
      8 i, em {
      9   font-family: Times New Roman,Times,serif;
     10 }
     11 
     12 a:link { 
     13   color: #730;
     14 }
     15 
     16 a:visited { 
     17   color: #402;
     18 }
     19 
     20 a:hover {
     21   background-color: #fd8;
     22 }
     23 
     24 div#header {
     25   display: block;
     26   background-color: #930;
     27   color: #fd6;
     28   border-bottom: 3px solid #f70;
     29   padding: 3px;
     30   font-size: 30px;
     31 }
     32 
     33 div#header h1 { 
     34   padding: 0;
     35   margin: 0;
     36   font-size: 1.5em;
     37 }
     38 
     39 div#nav {
     40   float: left;
     41   background-color: #fd9;
     42   border: 1px solid #f70;
     43   margin-right: 1em;
     44   border-bottom: 1px solid #f70;
     45   width: 200px;
     46 }
     47 
     48 div#nav ul {
     49   padding: 0;
     50   margin: 0;
     51 }
     52 
     53 div#nav li {
     54   list-style: none;
     55   margin: 0;
     56 }
     57 
     58 div#nav ul li ul li a { 
     59   padding: 2px 2em 2px 2em;
     60   font-weight: normal;
     61 }
     62 
     63 div#nav a {
     64   display: block;
     65   padding: 2px 1em 2px 1em;
     66   text-decoration: none;
     67   color: #400;
     68   font-weight: bold;
     69 }
     70 
     71 div#nav a:hover {
     72   background-color: #f80;
     73   color: #fff;
     74 }
     75 
     76 /* If I ever do menus that show the "current" page, that would be
     77    by marking some "links" as selected */
     78 div#nav span.selected {
     79   display: block;
     80   font-weight: bold;
     81   padding: 2px 1em 2px 1em;
     82 }
     83 
     84 div#body {
     85   padding: 1em;
     86 }
     87 
     88 h1.page-title {
     89   margin-top: 0;
     90 }