body
{
   color:                  black;
   background-color:       white;
   font-family:            sans-serif;
   line-height:            1.4em;
   text-align:             left;
   text-indent:            0em;
   border:                 0 none;
   margin:                 0em;
   padding:                0em;
}

.edge
{
   color:                  white;
   background-color:       black;
}

#header img
{
   border:                 0 none;
   margin:                 0em;
   width:                  6.7em;
   height:                 3em;
}

#header div a,
#footer div a
{
   color:                  white;
   background-color:       black;
   text-decoration:        none;
}

#heading
{
   margin-bottom:          6em;
}

#author
{
   margin-bottom:          1.5em;
}

#e
{
   margin-bottom:          0.5em;
}

#timestamp
{
   margin-bottom:          0.5em;
}

#licensenotice
{
   font-size:              0.9em;
   line-height:            1.2em;
}

#preface
{
   margin-bottom:          6em;
}

#abstract
{
   text-align:             justify;
}

#contents
{
   margin-bottom:          6em;
}

#contents ul,
#contents ol
{
   list-style-type:        none;
   margin-left:            0em;
}

#contents ul ul,
#contents ol ol,
#contents ul ol,
#contents ol ul
{
   margin-left:            2em;
}

#contents ul li,
#contents ol li
{
   margin-top:             0.5em;
   margin-bottom:          0.5em;
}

.section
{
   margin-bottom:          6em;
   text-align:             justify;
}

h1
{
   font-size:              3.5em;
   line-height:            1em;
   font-weight:            normal;
   margin-top:             0em;
   margin-bottom:          1em;
}

h2
{
   font-size:              2em;
   line-height:            1em;
   font-weight:            normal;
   margin-top:             0em;
   margin-bottom:          0.5em;
}

h3
{
   font-size:              1.5em;
   line-height:            1.2em;
   font-weight:            normal;
   margin-top:             1em;
   margin-bottom:          0.5em;
}

h3.center
{
   text-align:             center;
   font-size:              1.5em;
   line-height:            1.2em;
   font-weight:            normal;
   margin-top:             1em;
   margin-bottom:          0.5em;
}

h4
{
   font-size:              1.2em;
   line-height:            1.2em;
   font-weight:            bold;
   margin-top:             1em;
   margin-bottom:          0em;
}

h5
{
   font-size:              1em;
   line-height:            1.2em;
   font-weight:            bold;
   margin:                 0.5em 0 0.5em 0;
}

h5.right
{
   text-align:             right;
   font-size:              1em;
   line-height:            1.2em;
   font-weight:            bold;
   margin:                 0.5em 0 0.5em 0;
}

h6
{
   font-size:              1em;
   line-height:            1.2em;
   font-weight:            bold;
   margin:                 0 1.5em 0 0;
   float:                  left;
}

p
{
   text-align:             justify;
   text-indent:            0em;
   margin-top:             0.5em;
   margin-bottom:          0.5em;
}

p.center
{
   text-align:             center;
   text-indent:            0em;
   margin-top:             0.5em;
   margin-bottom:          0.5em;
}

pre
{
   font-family:            monospace;
   font-size:              0.85em;
   line-height:            1.2em;
   text-align:             left;
   white-space:            pre;
   margin-top:             1em;
   margin-bottom:          1em;
   padding:                1.5em;
   border:                 1px black solid;
}

ol, ul
{
   margin:                 0.5em 2em 0.5em 3em;
   padding:                0em;
}

.plainlist
{
   list-style-type:        none;
}

dl
{
   margin:                 0.5em 2em 0.5em 2em;
}

table
{
   font-size:              1em;
   line-height:            1.4em;
   margin-top:             1em;
}

img
{
   border:                 0px;
   margin:                 16px 0 16px 0;
}

#references ul
{
   list-style-type:        none;
   margin-left:            0em;
}

#references ul li
{
   margin-top:             1em;
   margin-bottom:          1em;
}

code, tt
{
   font-family:            monospace;
}

.codeblock
{
   font-family:            monospace;
   font-size:              0.85em;
   line-height:            1.2em;
   text-align:             left;
   margin-top:             1em;
   margin-bottom:          1em;
   padding:                1.5em;
   border:                 1px black solid;
}

.codeblock .codeblock
{
   font-size:              1em;
   border:                 0 none;
   margin:                 0em;
   padding-top:            0em;
   padding-bottom:         0em;
}

li, dt, dd
{
   margin-top:             0.25em;
   margin-bottom:          0.25em;
}

dt
{
   font-weight:            bold;
}

a
{
   color:                  black;
   background-color:       white;
}

.highlight
{
   color:                  black;
   background-color:       rgb(224,224,224);
}