/* $Id: default.css,v 1.4 2003/07/27 01:09:30 joe Exp $ */

HTML {
    background: #EEEEEE;
    color: black;
}

BODY {
    background: #EEEEEE;
    color: black;
    font-size: 100%;
    font-family: Verdana,Arial,sans-serif;
    margin: 0px 10% 0px 10%;
    padding: 8px;
}

H1, H2, H3, H4 {
    color: navy;
    background: transparent;
    padding: 3pt 0pt;
}

h1 {
    font-size: 200%;
}
h2,h3,h4 {
    font-size: 140%;
}

h1 {
    border-top: 1px solid navy;
    border-bottom: 1px solid navy;
    text-align: center;
}


A:link { color: blue; background: transparent; }
A:visited { background: transparent; color: purple; }
A:active { background: yellow; color: red; }

p {
    line-height: 1.5em;
}

h1,h2,h3,h4,h5,h6 {
    margin: 12pt 0pt 6pt 0pt;
}
ul,ol,dl,p {
    margin:		1em 0em;
}
dt { margin:		6pt 0pt 0pt 0pt; }
dd { margin:		0pt 0pt 6pt 40pt; }

pre,blockquote {
    margin:		12pt 12pt;
}
pre {
    padding:	4pt;
}
blockquote {
    border-left:	1pt solid black;
    padding-left:	12pt;
}

/* Tables of contents: */
UL.toc,UL.toc UL, UL.toc UL UL {
    margin: 0pt;
    padding: 0pt;
}
LI.tocentry {
    list-style: none;
    margin-left: 0em;
    text-indent: 0em;
    padding: 0em;
}
li.tocentry a {
    display: block;
    width: 100%;
    border: none;
    text-decoration: none;
}
li.tocentry a:hover {
    background: #EEEEEE;
}

/* Figures */
DIV.figure {
    text-align: center;
    border: solid thin;
    width: 100%;
    margin: 2.5em 0
}
P.caption, CAPTION {
    text-align: center;
    font-style: italic;
    font-weight: bold;
    margin: 1.5em 25% 0 25%;
}

P.note {
    margin: 1em;
    padding: 0.5em;
    color: green;
    background: #EEEEEE;
}

DIV.status {
    border: 2px solid black;
    margin: 0.5ex;
    padding: 1ex;
    background-color: #CCCCCC;
    color:	black;
}

DIV.status P {
    font: italic 10pt/11pt serif;
}



/* Layout: */
div.banner {
    padding: 1em;
}
div.sidebar {
    border: 1pt solid navy;
    background: #CCCCCC;
    float: right;
    width: 20%;
    padding: 1em;
}
div.main {
    margin-right: 25%;
    padding: 1em;
}
div.footer {
    border: 1pt solid navy;
    padding: 0pt 1em 0pt 1em;
    clear: right;
}