html {
background-color:#ffc;
color:black;
font-family:Verdana
}

body {
}

h2 {
margin:1em 0 0 0;
padding:0;
color:red;
font-size:10pt;
}

pre,p,dl {
max-width:50em;
margin:.5em;
padding:0 0 0 3em;
font-size:8pt;
}

pre {
margin:.5em .5em .5em 3em;
padding:.5em;
border:thin solid black;
background-color:#ffe;
}

p#screenshots {
max-width:120em;;
}

a {
color:black;
text-decoration:none;
font-style:italic;
font-weight:bold;
}

a:hover {
text-decoration:underline;
}

ul#nav, ul#nav ul {
font-size:8pt;
margin:0;
padding:.2em .4em;
font-weight:bold;
border:thin black solid;
display:inline;
}

ul#nav li {
display:inline;
}

ul#nav ul {
font-weight:normal;
border:none
}

ul#nav a {
}

ul#nav ul a:after {
content:"";
}

dt,dd {
padding:.2em .5em
}

dl.table {
float:left;
}

dt {
width:30em;
font-weight:bold;
}

dl.table dt {
padding:2em 1em .25em 0;
margin:0 0 .25em 0;
font-size:80%;
color:gray;
}

dl.table dt a {
padding:.2em .6em;
width:20em;
font-weight:bold;
font-size:125%;
color:black;
}

dd {
margin:0;
font-size:6pt;
margin:0 3em;
}

dl.table dd a {
color:red;
}

img {
display:inline;
margin:0em;
width:24em;
border:none;
}

.hot {
border-bottom:thin solid red;
}