body
    { margin: 1em 1ex
    ; padding: 1em 2ex
    ; font-size: 11pt
    ; font-family: "Trebuchet MS", sans-serif
    }


pre
    { margin: 0 0 1em 0
    ; padding: 0.5em 1ex
    ; font-family: "Bitstream Vera Sans Mono", monospace
    ; font-size: 0.9em
    ; background: #eee
    }

strong
    { font-weight: bold
    }
em
    { font-style: italic
    }

code
    { font-family: "Bitstream Vera Sans Mono", monospace
    ; background: #eee
    }

/* Headings
--------------------------------------------------*/
h1,
h2,
h3,
h4,
h5
    { margin: 0.4em 0
    ; font: normal normal 1.5em Georgia, "Times New Roman", serif
    }

h2, h4
    { font-style: italic
    }

h1
    { font-family: Verdana, Arial, sans-serif
    ; font-weight: normal
    ; font-size: 1.6em
    ; text-align: center
    ; margin: 0
    }

h2
    { font-weight: normal
    ; font-size: 1.4em
    ; padding-left: 0
    ; border-bottom: 1px solid #1c1c1c
    }
h3
    { font-size: 1.2em
    }
h4
    { font-size: 1.1em
    ; border-bottom: 1px dashed #1c1c1c
    }
h5
    { font-size: 1.1em
    }



/* Paragraphs
--------------------------------------------------*/
p
    { margin: 0 0 0.7em 0
    ; line-height: 1.5
    }

/* Links
--------------------------------------------------*/
a
    { border-bottom: 1px dotted gray
    ; text-decoration: none
    }


/* Lists
--------------------------------------------------*/
ul,
ol
    { margin-bottom: 0.5em
    }
ul
    { list-style: disc
    }
ol
    { list-style-type: decimal
    }
ul li,
ol li
    { margin-bottom: 0.3em
    ; margin-left: 2.5ex
    }

dl
    { margin-bottom: 0.5em
    }
dd
    { margin-left: 4ex
    }

/* Tables
--------------------------------------------------*/
th
    { padding: 3px
    ; border: 1px solid #ccc
    ; background-color: #ddd
    ; font-size: 0.9em
    }
td
    { padding: 0.5em 1ex
    ; border: 1px solid #ccc
    }
table.noborder td
    { border: none
    }




/* hide all crumbs except for current trail and heading */
ul.sections a { display: none }
ul.sections li.current a { display: inline; padding: 0.5em 3ex 0.1em 1ex; text-decoration: none; border: none }
ul.sections { list-style: none; background: #eee }
ul.sections li { margin: 0; padding: 0 }

div#footer { background: #eee; padding: 0.5em 1ex }
div#footer a {text-decoration: none; padding: 0; margin:0; border: none}
div#footer img { display: none}