/* style for Palomino HTML documents */
body {
    background-color: #b8b8b8;
    color: darkblue;
    font-family: Arial, Helvetica, sans-serif;
}
pre, code {
    font-family: Courier,MonoSpace;
    font-size: 12;
    color: black;
}
A:plain   { color:blue; font-family: Arial, Helvetica, sans-serif; }
A:link    { color:blue; font-family: Arial, Helvetica, sans-serif; }
A:active  { color:blue; font-family: Arial, Helvetica, sans-serif; }
/*A:visited { color:blue; font-family: Arial, Helvetica, sans-serif; }*/
A:hover   { color:cyan; font-family: Arial, Helvetica, sans-serif; }
li  {
    padding-top: 2;
    padding-bottom: 2;
}
table {
    border-width: 2px 2px 2px 2px;
    border-style: solid;
}
td { 
    border-width: 1px 1px 1px 1px;
    border-style: solid;
    padding: 4;
}
