hr {
    margin-top: 4em;
}
body {
    margin-top: 0.5em;
    background-color: #ffe4b5;
    background-color: #ffffdf;
    margin-left: 5%;
    margin-right: 5%;
}
body, td {
    font-size: 0.9em;
    font-family: Arial, sans-serif;
}
h1, h2, h3 {
    color: #556b2f;
}
em {
    color: maroon;
    font-style: normal;
}

a.nonexistent {
    font-weight: bold;
    background-color: #F8F8F8;
    color: #FF2222;
}

a.nonexistent:visited {
    background-color: #F8F8F8;
    color: #FF2222;
}


strong { font-weight: bold; }

ul { list-style-type: disc }
li { margin-bottom: 0.5em; }

dl.contents { margin-top: 0; }
dt.contents { margin-bottom: 0; }


p.verse {
    white-space: pre;
    margin-left: 5%;
}

pre {
    white-space: pre;
    /* monospace does not work in Firefox 0.9.2 font-family: monospace; */
    margin-left: 5%;
}

dl.bolddt dt { font-weigth: bold; }

dt {
    font-weight: bold;
}
dd {
    margin-bottom: 0.7em;
}
hr {
    width: 100%;
}
hr.divider {
    height: 0.7em;
    background-color: maroon;
    width: 67%;
}

/* Local table of contents */
#PAGETOC {
    float: left;
    background-color: #df7;
    background-color: #edef87;
    margin-right: 2em;
    margin-bottom: 2em;
    margin-top: 0em;
}
#PAGETOC td {
    padding: 0.8em;
    padding-right: 1.1em;
    //font-size: 0.8em; /* For IE only */
}
#PAGETOC strong {
    display: block;
}
#PAGETOC .tochead {
    color: #6b8e23;
    font-weight: bold;
    margin-bottom: 0.5em;
}
#PAGETOC ul li a {
    color: maroon;
}
#PAGETOC a:hover { background-color: yellow; }
#PAGETOC ul {
    list-style-type: none;
    margin:0;
    xpadding:0;
    xmargin-left: 0;
    padding-left: 1.5em;
    xpadding-top: 0.5em;
}
#PAGETOC ul li {
    font-weight: bold;
    margin: 0;
    padding:0;
}
#PAGETOC ul li ul { }
#PAGETOC ul li ul li {  font-weight: normal;}
#PAGETOC .liul {
    //display:inline; /* For IE only */
}

/* Temporary for hacked */
#hacked {
    width: 20em;
    background-color: #fd6;
    padding: 0.7em;
    font-size: 0.8em;
    //font-size: 0.9em;
    text-align: right;
}
#hacked p {
    text-align: center;
}

/* Footers */
.footer {
    color: #ccc;
    text-align: right;
    font-size: 0.8em;
}
.footer a {
    color: #ccc;
}
p.footer {
    margin-top: 0;
}
hr.footer {
    color: #ddd;
    border-style: solid;
    border-width: 1px;
    margin-bottom: 0;
}

.mainlinks a {
    color: #8b4500;
}
.mainlinks a:hover {
    background-color: yellow;
}