1/* style for Palomino HTML documents */
2body {
3    background-color: #b8b8b8;
4    color: darkblue;
5    font-family: Arial, Helvetica, sans-serif;
6}
7pre, code {
8    font-family: Courier,MonoSpace;
9    font-size: 12;
10    color: black;
11}
12A:link    { color:blue; font-family: Arial, Helvetica, sans-serif; }
13A:active  { color:blue; font-family: Arial, Helvetica, sans-serif; }
14/*A:visited { color:blue; font-family: Arial, Helvetica, sans-serif; }*/
15A:hover   { color:cyan; font-family: Arial, Helvetica, sans-serif; }
16li  {
17    padding-top: 2;
18    padding-bottom: 2;
19}
20table {
21    border-width: 2px 2px 2px 2px;
22    border-style: solid;
23}
24td {
25    border-width: 1px 1px 1px 1px;
26    border-style: solid;
27    padding: 4;
28}
29