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

body {
}

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

h3 {
margin:.5em;
padding:0 0 0 3em;
font-size:8pt;
}

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

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;
}

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

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

img {
margin:.5em;
width:25em;
border:none;
}

.hot:after {
content:" (popular)";
color:red;
font-size:60%;
}

.box {
border:thick red solid;
padding:.5em 1em;
font-size:120%;
font-weight:bold;
}

.box a {
font-weight:normal;
}