/* global initial settings */
body {
    font-size: 12pt;
    font-family: Times, sans-serif;
}
body, h1, h2, div { margin: 0px; padding: 0px; }
h3, h4, h5, h6 { font-family: sans-serif; }
p { text-indent: 1em; }
a, img { border: none; }
a { text-decoration: none; }
span.bit { color: #8B0000; font-style: normal; }
span.visor { color: #00008B; font-style: normal; }
span.s { text-decoration: line-through; }

span.date { font-family: monospace; }

/* local settings */
div.main {
}

div.head p, div.tail p {
    text-align: center;
}

h1.title {
    margin-top: -0.25em;
    text-align: center;
    font-size: 350%;
}

p.subtitle {
    margin: -0.2em 0em 0.2em 0em; padding: 0em;
    text-indent: 0em;
    font-size: 180%;
}

h2.subtitle {
    margin: 0.2em;
    text-align: center;
    font-size: 150%;
    font-style: italic;
}

h3 {
    clear: both;
    margin: 1em 0em 0.1em 0em; padding: 0.3em;
    border: ridge 2px;
    -moz-border-radius: 0.3em;
    text-align: center;
    font-size: 180%;
    color: black; background: #dfe;
}

/*
h4 {
    clear: both;
    margin: 0.5em 0em 0.5em 0em; padding: 0.1em 0.1em 0.1em 0.5em;
    border: solid navy;
    border-width: 2px 0.5em 2px 0.5em;
    text-align: left;
    font-size: 130%;
    color: #004; background: #ccf;
}
*/

h4 {
    clear: both;
    margin: 0.5em 0em 0.5em 0em; padding: 0.1em 0.1em 0em 0.5em;
    border: solid navy;
    border-width: 0px 0px 1px 0.5em;
    font-size: 120%;
    color: navy;
}

h5 {
    margin: 1em 0em 1em 0em;
    text-decoration: underline;
    font-size: 105%;
}

p.menu {
    margin: 0px; padding: 0px;
    text-align: center; text-indent: 0em;
    font-family: sans-serif;
}

p.button {
    text-align: center;
}

p.summary {
    text-align: center;
    text-indent: 0em;
    line-height: 1.5em;
    font-size: 150%;
}

p.navi {
    margin: 0px; padding: 0px;
    text-indent: 0em;
}


div.body {
    margin: auto;
    width: 42em;
    line-height: 1.3em;
}

div.page {
    padding-top: 0.5em;
}

div.subpage {
    padding-top: 0em;
}

div.term {
    margin: 0em; padding: 1em;
    line-height: 1.2em;
    text-align: left; white-space: pre;
    border: inset 1px;
    font-size: 80%; font-family: monospace;
    background: #eef;
}

div.figure {
    margin: 0em 1em 1em 1em; padding: 0em;
    text-align: center;
}

div.figure_right {
    float: right;
    margin: 0em 1em 1em 1em; padding: 0em;
    text-align: center;
}

div.figure_right p {
    margin: 1em 0em 0em 0em;
    text-indent: 0em;
}

div.figure img {
    width: 40em;
}

img.right {
    float: right;
    margin: 0em 1em 0em 1em;
}

table.download {
    width: 100%;
    border-spacing: 0px;
    rules: all;
}

table.download th {
    border: outset 1px;
    color: white; background: navy;
}

table.download td {
    border: solid 1px lightblue;
}

hr {
    width: 42em; height: 1px;
    border: none;
    background: #ccc;
}

address { text-align: center; font-size: 80%; padding-top: 1em;}

noscript p {
    margin: 0px; padding: 1em;
    text-align: center; text-indent: 0em;
    font-size: 16pt;
    color: white; background: #444;
}

#lastmodified {
	float: left;
}

#top_menu {
    text-align: right;
}