/* HXA7241 note CSS version 2 */


body
{
   background-color:       white;
   text-align:             center;
   margin:                 0em;
   padding:                0em;
}

.edge
{
   color:                  white;
   background-color:       gray;
   font-family:            sans-serif;
   text-align:             left;
   padding:                0.4em 0.5em 0.2em 0.5em;
}

#header
{
   font-size:              2em;
   line-height:            1.15em;
   width:                  8em;
   margin-left:            -3em;
}

#footer
{
   font-size:              1em;
   line-height:            1.2em;
   font-weight:            bold;
   width:                  20em;
   margin-left:            30em;
}

#header a,
#footer a
{
   color:                  white;
   background-color:       gray;
   text-decoration:        underline;
}

.paper
{
   color:                  rgb(64,64,64);
   background-color:       white;
   font-family:            sans-serif;
   font-size:              1em;
   line-height:            1.4em;
   text-align:             left;
   text-indent:            0em;
   width:                  45em;
   border:                 0 none;
   margin-left:            auto;
   margin-right:           auto;
}

#heading
{
   border-width:           0.15em 0 0 0;
   border-color:           gray;
   border-style:           solid;
   width:                  30em;
   margin-top:             -0.15em;
}

#heading h3 a,
#heading h2 a
{
   text-decoration:        none;
}

#text
{
   padding-top:            2em;
   border-width:           0.15em 0 0.15em 0;
   border-color:           gray;
   border-style:           solid;
   margin:                 1em 0em -0.15em 4em;
}


.section
{
   text-align:             justify;
   padding-bottom:         4em;
}

h1
{
   font-size:              3em;
   line-height:            1em;
   font-weight:            normal;
   margin:                 1em 0em 0.8em 0em;
}

h2
{
   font-size:              2em;
   line-height:            1em;
   font-weight:            normal;
}

h3
{
   font-size:              1.5em;
   line-height:            1.2em;
   font-weight:            normal;
}

h4
{
   font-size:              1.2em;
   line-height:            1.2em;
   font-weight:            bold;
}

h5
{
   font-size:              1em;
   line-height:            1.4em;
   font-weight:            bold;
}

h2, h3, h4, h5
{
   margin-top:             1.5em;
   margin-bottom:          0em;
}

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


p
{
   text-indent:            0em;
   margin-top:             0.75em;
   margin-bottom:          0.75em;
}

.panel
{
   padding:                1.5em;
   border:                 0.1em rgb(64,64,64) solid;
   margin:                 2em 0 2em 0;
}

pre
{
   font-family:            monospace;
   font-size:              0.9em;
   line-height:            1.2em;
   text-align:             left;
   white-space:            pre;
   margin-top:             2em;
   margin-bottom:          2em;
   padding:                1.5em;
   border:                 0.1em rgb(64,64,64) solid;
}

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

dl
{
   margin-left:            0em;
   margin-right:           0em;
}

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

dl.plainlist
{
   margin:                 0.5em 0em 0.5em 0em;
}

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

img
{
   border:                 0.1em solid rgb(64,64,64);
   margin:                 1em 0em 1em 0em;
}

sup
{
   line-height:            0.5em;
}

code, tt
{
   font-family:            monospace;
}

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

dt
{
   font-weight:            bold;
}

dl.plainlist dd
{
   margin-left:            0em;
   margin-bottom:          0.5em;
}

a:link
{
   color:                  rgb(64,64,64);
   background-color:       white;
   text-decoration:        underline;
}

a:visited
{
   color:                  rgb(128,128,128);
   background-color:       white;
   text-decoration:        underline;
}

a:hover
{
   color:                  rgb(64,64,64);
   background-color:       white;
   text-decoration:        underline;
}

a:active
{
   color:                  rgb(64,64,64);
   background-color:       rgb(208,208,208);
   text-decoration:        underline;
}

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

.lowlight
{
   color:                  rgb(144,144,144);
}