html {
    margin: 0;
    padding: 0;
}

body { 
    font-family: Trebuchet MS, sans-serif;
    font-size: 13px;
    line-height: 18px;
    color: #4d4d4d;
    background: white;
    margin: 0;
    padding: 0 0 42px 0;
}

#footer {
    clear: both;
    font-size: 10px;
    width: 750px;
    margin: 25px auto 0 auto
}

h1, h2, h3, p, table, ul, ol {
    margin: 18px 0;
}

ul, ol {
    padding-top: 0;
    padding-bottom: 0
}

li {
    margin-top: 0;
    margin-bottom: 0;
    padding-top: 0;
    padding-bottom: 0
}

dt {
    margin-top: 18px
}

h1 {
    font-size: 18px;
    line-height: 18px
}

h2 {
    font-size: 16px;
    line-height: 18px
}

h3 {
    font-size: 14px;
    line-height: 18px
}

table.regular {
    clear: right;
    border: solid #4d4d4d 1px;
    border-collapse: collapse;
}

table.regular td, table.regular th {
    border: solid #4d4d4d 1px;
    padding: 8px;
}

table.regular th {
    background: #f0f0f0
}

/* logo and slogan */
#logo_slogan {
    width: 750px;
    margin: 0 auto;
    padding: 0;
}
#logo_slogan img { vertical-align: top }
#logo_slogan td {
    vertical-align: top;
}
#logo {
    text-align: right
}
#prince {
    text-align: left
}

/* menu */
#menu {
    background: #3b0c60;
    margin: 0;
    font-size: 14px;
    font-weight: bold;
}
#menubar {
    width: 750px;
    margin: 0 auto
}
#menu table {
    width: 100%;
    margin: 0
}
#menu td {
    padding: 0;
    width: 4px;
    height: 32px;
}
#menu td.filler { width: auto }
#menu td.curr a {
    border-bottom: solid orange 2px;
}

#menu a {
    color: white;
    text-decoration: none;
}

/* submenu */
#bar {
    background: #dfd9e8;
    border-bottom: solid #7b7880 1px;
    padding-top: 6px;
}
#submenubar {
    width: 750px;
    margin: 0 auto;
}
#submenu { 
    margin: 0
}
#submenu td {
    padding: 0 20px 0 6px;
    background: #dfd9e8;
    border-top: outset 1px #dfd9e8;
    border-left: outset 1px #dfd9e8;
    border-right: outset 1px #dfd9e8;
}
#submenu td.curr {
    background: white;
    border-top: outset 1px black;
    border-left: outset 1px black;
    border-right: outset 1px black;
}

#submenu a {
    color: black;
    text-decoration: none
}

div.sidebox { 
    float: right;
    clear: right;
    margin: 0 0 10px 20px;
    border: solid #e0e0e0 1px;
    background: #f0f0f0;
    width: 300px;
    padding: 10px 10px 0 10px;
}
.sideimage {
    float: right;
    clear: right;
    margin: 0 0 10px 20px;
}
.sidetable { 
    float: right;
    clear: right;
    margin: 0 0 10px 20px;
    width: 322px;
    padding: 0;
    border-collapse: collapse;
}
.sidetable td, .sidetable th {
    border-bottom: solid #4d4d4d 1px;
    padding: 2px;
}
.sidetable th {
    text-align: left;
}
div.main {
    width: 750px;
    margin: 0 auto;
    padding: 15px 0 0 0;
}
div.wide {
    width: 600px;
}

.galley {
    width: 600px
}

* html .galley {
    width: 400px	    /* for IE */
}

blockquote.full {
    font-style: italic;
    margin-left: 0;
    margin-right: 0;
    margin-top: 0;
}
blockquote.full p {
    margin-top: 0
}
div.who {
    margin-left: 20px;
    margin-bottom: 10px;
}
acronym {
    text-underline-style: none;
    border-bottom: none
}

/* user guide examples */

.example p.label {
    font-size: 10px;
    margin-bottom: 1px
}

.example pre {
    margin-top: 0;
    background: #f0f0f0
}

.example .comment {
    color: #781C3F
}