body { 
   font-family: Arial, Helvetica, sans-serif; 
   font-stretch: condensed; 
   background-color: #ffd; 
   margin: 0 3em; 
}

img { 
   border: 0; 
}

ul.menu { 
   text-align: center; 
}

ul.menu li { 
   display: inline; 
   padding: 3px
}

ul.menu li a { 
   text-decoration: none; 
}

ul.menu li a:hover { 
   text-decoration: small-caps; 
   border-bottom: dashed 1px black;
   border-top: dashed 1px black 
}

div.header { padding: 5px }

#title { 
   text-align: center; 
   font-weight: bold; 
   font-size: 48pt; 
   letter-spacing: -2pt; 
   color: black 
}

#subtitle { 
   text-align: center; 
   font-size: 10pt; 
   line-height: 10pt; 
   color: black; 
   letter-spacing: 2pt; 
   padding-bottom: 10pt; 
}

div.refentry div.refnamediv p, h1 { 
   font-variant: small-caps; 
   font-size: 18pt; 
   font-weight: bold;
   border-bottom: dashed 2px black 
}

h2 {
   font-size: 16pt;
   font-weight: bold;
}

p.footer { 
   text-align: center; 
   font-size: 9pt; 
}

dl {
   margin-left: 3em; 
   font-weight: bold;
   font-size: 10.5pt;
   line-height: 12pt;
}

div.refentry dl {
   font-size: 100%;
}

dd {
   margin-left: 3em;
   font-weight: normal;
   margin-bottom: 0.7em;
}

img.screenshot {
   display: block;
   margin: 0 auto;
}

p.sscaption {
   text-align: center;
   font-size: 10pt;
}