html {
 margin: 0;
 padding: 0;
}

body {
 border-bottom-color: #B00000;
 border-bottom-style: solid;
 border-bottom-width: 1em;
 border-top-color: #B00000;
 border-top-style: solid;
 border-top-width: 2em;
 color: #000000;
 margin: 0;
 padding: 0;
}

a:link {
 color: #0000FF;
}

a:visited {
 color: #800000;
}

h1 {
 font-size: 1.9em;
 font-weight: normal;
 margin-top: 0;
 padding-top: 0.5em;
 text-align: center;
}

.pre-subtitle {
 font-size: 1.2em;
 margin-bottom: -0.5em;
 padding-bottom: 0;
}

.subtitle {
 font-size: 1.2em;
 margin-top: -0.5em;
 padding-top: 0;
}

.list-title {
 font-size: 1.2em;
 margin-bottom: -0.5em;
 padding-bottom: 0;
 text-align: left;
}

p {
 padding-left: 0.5em;
 padding-right: 0.5em;
 text-align: justify;
}

p.alignRight {
 text-align: right;
}

p.indent {
 margin-left: 2.5em;
}

#paper {
 padding-bottom: 0.5em;
 padding-top: 0.5em;
}

#paper sup {
 font-size: 0.8em;
 line-height: 1em;
}

.note {
 color: #B00000;
 font-size: 0.8em;
 padding-bottom: 0.5em;
 padding-top: 0.5em;
}

address {
 font-size: 0.8em;
 font-style: normal;
 padding-bottom: 0.2em;
 padding-top: 0.2em;
 text-align: center;
}