html{color:#000;background:#FFF;}
body,div,dl,dt,dd,ul,ol,li,h1,h2,h3,h4,h5,h6,pre,code,form,fieldset,legend,input,textarea,p,blockquote,th,td{margin:0;padding:0;}
table{border-collapse:collapse;border-spacing:0;}
fieldset,img{border:0;}
address,caption,cite,code,dfn,em,strong,th,var{font-style:normal;font-weight:normal;}
caption,th{text-align:left;}
h1,h2,h3,h4,h5,h6{font-size:100%;font-weight:normal;}
q:before,q:after{content:'';}
abbr,acronym{border:0;font-variant:normal;}
sup{vertical-align:text-top;}
sub{vertical-align:text-bottom;}
input,textarea,select{font-family:inherit;font-size:inherit;font-weight:inherit;}
input,textarea,select{*font-size:100%;}
legend{color:#000;}
del,ins{text-decoration:none;}
body{font:13px/1.231 arial,helvetica,clean,sans-serif;*font-size:small;*font:x-small;}
select,input,button,textarea{font:99% arial,helvetica,clean,sans-serif;}
table{font-size:inherit;font:100%;}
pre,code,kbd,samp,tt{font-family:monospace;*font-size:108%;line-height:100%;}
body{text-align:center;}

body {
    background: #f8f8f8;
    font-size: 14pt;
    text-align:left;
    padding: 1em 2em;
}

h1 {
    font-size: 18pt;
    font-weight: bold;
    margin-top: 0.1em;
    margin-bottom: 0.5em;
}
h2 {
    font-size: 16pt;
    font-weight: bold;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}
h3 {
    font-size: 14pt;
    font-weight: bold;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}
pre {
    font-size: 80%;
    padding: 0.25em;
    border: solid black 1px;
    margin: 0.25em 0;
}
pre.code {
    background: lightgrey;
}
pre.output {
    color: #0f0;
    background: black;
}
pre.diagram {
    border: solid black 0px;
}
em {
    font-style: italic;
}
p {
    padding: 0.25em 0;
}
b {
    font-weight: bold;
}
blockquote {
    padding: 0.25em 2em;
}
ul {
    padding-left: 1em;
    margin-left: 1em;
}
li {
    margin-top: 0.25em;
    margin-bottom: 0.25em;
}
th {
    font-weight: bold;
}
th, td {
    padding: 0.1em 0.5em;
}
a {
    color: #008;
    text-decoration: none;
}
a:hover {
    color: #00f;
    background: #ccc;
    text-decoration: none;
}
.header {
    padding-bottom: 0.5em;
    margin-bottom: 0.5em;
    color: #800;
    font-weight: bold;
    font-size: 20pt;
    border-bottom: solid #888 2px;
}
.header a {
    color: #800;
}
.header a:hover {
    color: #800;
    background: #f8f8f8;
}
.header .index-link {
    font-weight: normal;
    color: black;
    font-size: 50%;
    float: right;
}
.header .index-link a {
    color: #008;
}
.footer {
    padding-top: 0.5em;
    margin-top: 0.5em;
    font-size: 10pt;
    border-top: solid black 1px;
}