/*Central style-sheet*/
body {background-color: #eeeeff}

a:link { color:#0000ff; text-decoration:underline; }
a:visited { color:#0000cc; text-decoration:none; }
a:hover { color:#777777; text-decoration:underline; }

h1 { padding-bottom:20px;color:black; font-size:22pt; font-style:italic; text-decoration:underline; }
h2 { color:black; font-size:18pt; }
h3 { color:black; font-size:14pt; }

ul { compact; }

ul.code {
compact;
color:black;
font-variant:normal;
font-size:small;
background-color: #ffffff;
}

ol.code {
compact;
color:black;
font-variant:normal;
font-size:small;
background-color: #ffffff;
}