/**
 * Colors:
 *   text: #000000
 *   emphasis: #aa5500
 *   block background: #ffeebb
 *   document background: #ffffff
 *
 * Classes:
 *   pre.html   block of html source code
 *   pre.java   block of java source code
 *   pre.shell  block of shell commands
 */

/**
 * Shift the complete document to the right.
 */

body
{
   font-family: lucidabright, times, times new roman, serif;
   font-size: 11pt;
   font-weight: normal;
   font-style: normal;
   color: #000000;
   background-color: #ffffe0;
   margin-left: 1.5em
}

/**
 * Shift headers slightly to the left.
 */

h1
{
   font-family: lucidabright, times, times new roman, serif;
   font-size: 14pt;
   font-weight: bold;
   color: #dd3333;
   background-color: #ffffe0;
}

h2
{
   font-family: lucidabright, times, times new roman, serif;
   font-size: 12pt;
   font-weight: bold;
   color: #000000;
   background-color: #ffffe0;
}

h3
{
   font-family: lucidabright, times, times new roman, serif;
   font-size: 10pt;
   font-weight: bold;
   color: #000000;
   background-color: #ffffe0;
}

/**
 * Paragraphs, tables.
 */

p {
   font-family: lucidabright, times, times new roman, serif;
   font-size: 11pt;
   font-weight: normal;
   text-decoration: none;
   font-style: normal
}

td {
   font-family: lucidabright, times, times new roman, serif;
   font-size: 11pt;
   font-weight: normal;
   font-style: normal;
   color: #000000
   vertical-align: top;
}

tr {
}

table
{
   background-color: transparent;
}

/**
 * Shift itemized lists back to the left.
 */

ul {
   color: #000000;
   font-family: lucidabright, times, times new roman, serif;
   font-size: 11pt;
   font-weight: normal;
   font-style: normal;
   background-color: #ffffe0
}

ol {
   background-color: #ffffe0
}

li {
   color: #000000
}

/**
 * Smaller font size for blockquotes.
 */

blockquote {
   font-size: 10pt
}

/**
 * Typewriter, code (inline verbatim) and pre (verbatim).
 */

tt {
   font-family: lucidatypewriter, courier, terminal;
   font-weight: normal;
   font-size: 10pt;
   font-style: normal
}

code {
   font-family: lucidatypewriter, courier, terminal;
   font-weight: normal;
   font-size: 10pt;
   font-style: normal
}

pre {
   font-family: lucidatypewriter, courier, terminal;
   font-weight: normal;
   font-size: 10pt;
   font-style: normal;
   margin-right: 1em;
   color: #000000;
   background-color: #ffeebb
}

pre.html {
   font-family: lucidatypewriter, courier, terminal;
   font-weight: normal;
   font-size: 10pt;
   font-style: normal;
   margin-right: 1em;
   color: #000000;
   background-color: #ffeebb
}

pre.java {
   font-family: lucidatypewriter, courier, terminal;
   font-weight: normal;
   font-size: 10pt;
   font-style: normal;
   margin-left: 1em;
   margin-right: 1em;
   color: #000000;
   background-color: #ffeebb
}

pre.shell {
   font-family: lucidatypewriter, courier, terminal;
   font-weight: normal;
   font-size: 10pt;
   font-style: normal;
   margin-left: 1em;
   margin-right: 1em;
   color: #000000;
   background-color: #ffeebb
}

/**
 * Links.
 */

a:link {
   text-decoration: none;
   color: #ff0000
}

a:visited {
   text-decoration: none;
   color: #ab00ab
}

a:active {
   text-decoration: none;
   color: #000000
}

a:hover {
   text-decoration: none;
   color: #ffeebb;
   background-color: #000000;
}

/**
 * Emphasis.
 */

strong {
   color: #ffff00
}

i {
   font-style: italic
}

b {
   font-weight: bold
}

/**
 * Shift the address back left.
 */

address {
}