address {
    color: gray;
    margin-left: -2em;
    text-align: right
    }
tt, code, kbd, samp {
    font-family: monospace
    }
p.initial:first-letter {
    font-size: 215%;
    /*  padding: 0em; float: left; */
    }
#bigchar {
    background-color: red;
    color: white;
    font-size: 28pt;
    font-family: Impact
    }
/* 
   The trick here is to only indent paragraphs that follow other
   paragraphs. The first paragaph of a page doesn't need to be
   indented, and neither do paragraphs that follow a diagram, a
   heading or something else that is offset from the text. The rule
   is in fact very simple:
   */
p + p {
    text-indent: 1.5em;
    margin-top: 0
    }
/*
   This indents the first line of only those paragraphs that follow
   another paragraph. But in practice you will find that you still
   need exceptions.

   For example, there are P elements that are used as captions for
   images, and are centered, and thus they should not be
   indented. A simple rule 'p.caption {text-indent: 0}' takes care
of it. 

We can now use various amounts of whitespace between paragraphs
to indicate important breaks in the text. Let's define three
different classes: stb (small thematic break), mtb (medium
thematic break) and ltb (large thematic break). 
*/
p.stb {
    text-indent: 0;
    margin-top: 0.83em
    }
p.mtb {
    text-indent: 0;
    margin-top: 2.17em
    }
p.ltb {
    text-indent: 0;
    margin-top: 3.08em
    }
.center {
    text-align: center
    }
/*
 * For example, there are P elements that are used as captions for
 * images, and are centered, and thus they should not be indented. A
 * simple rule '' takes care of it.
 */
p.caption {
    text-indent: 0
    }
/* letter and word spacing */
.letterspaced {
    letter-spacing: 10pt
    }
.wordspaced {
    word-spacing: 20px
    }
/* vertical alignment examples */
.sub {
    vertical-align: sub
    }
.super {
    vertical-align: super
    }
/* text alignment properties */
.right {
    text-align: right
    }
.left {
    text-align: left
    }
.justify {
    text-align: justify
    }
.center {
    text-align: center
    }
/*
 *   Effects
 */
.underline {
    text-decoration: underline
    }
.overline {
    text-decoration: overline
    }
.blink {
    text-decoration: blink
    }
.line-through {
    text-decoration: line-through
    }
/* white space control */
.normal {
    white-space: normal
    }
.pre {
    white-space: pre
    }
.nowrap {
    white-space: nowrap
    }
.obeylines-h {
    white-space: nowrap
    }
.obeylines-v {
    white-space: nowrap
    }
/* text transformation properties */
.uppercase {
    text-transform: uppercase
    }
.lowercase {
    text-transform: lowercase
    }
.capitalize {
    text-transform: capitalize
    }
.try {
    border: solid 4px
    }
.name {
    font-size: 4em;
    text-align: center
    }
.oops {
    font-family: Jester, "Comic Sans MS"
    }
/*
   * This is used to create rules and additional markers for
   * browsers like w3m, which do not support css at all.
   */
.nocss {
    display: none
    }
.colophon {
    display: none
    }
.hide {
    display: none;
    color: white
    }
span.skip {
    display: none
    }
div.skip {
    display: none
    }
/*
   * Get a nice, 3d look for tables
   */
table.raised {
    border-collapse: collapse;
    /*separate; */
    border: outset 5pt;
    border-spacing: 0;
    /* border-spacing: 5pt; */
    }
/*
   td { border: inset 2pt }
th { border: inset 2pt }
*/
table.raised td {
    border: 1px solid;
    padding: 1em
    }
table.raised th {
    border: 2px solid;
    padding: 1em
    }
/* Shouldn't the definition term be bold by default? */
dt {
    font-weight: bold
    }
/* 
   * Add space at the bottom of the list, or else it seems to run
   * into the following content
   */
dd {
    margin-bottom: 0.66em
    }
/* Make the list numbering sane */
OL OL {
    list-style: lower-roman
    }
UL OL {
    list-style: decimal
    }
OL OL OL {
    list-style: lower-alpha
    }
/*
 * Ordered Lists
 */
ol.withroman {
    list-style-type: lower-roman
    }
ol.upperroman {
    list-style-type: upper-roman
    }
ol.upperalpha {
    list-style-type: upper-alpha
    }
ol.withalpha {
    list-style-type: lower-alpha
    }
li.serif {
    font-family: Georgia, serif, Helvetica
    }
li.sans-serif {
    font-family: Times New Roman, Helvetica, sans-serif
    }
li.fantasy {
    font-family: fantasy
    }
li.monospace {
    font-family: monospace
    }
li.cursive {
    font-family: cursive
    }
ul.padded {
    line-height: 120%
    }
li.overskrift {
    margin-top: 2ex;
    font-weight: bold
    }
small {
    font-size: 0.92em
    }
big {
    font-size: 1.17em
    }
del {
    text-decoration: line-through;
    background: #900
    }
ins {
    text-decoration: none;
    background: #060
    }
acronym {
    font-variant: small-caps;
    letter-spacing: 0.1em
    }
/*
 *    TeX based stuff
 */
.cmr-7 {
    font-size: 70%
    }
.cmmi-10 {
    font-style: italic
    }
.cmmi-7 {
    font-size: 70%;
    font-style: italic
    }
.cmbx-10 {
    font-weight: bold
    }
.cmtt-10 {
    font-family: monospace
    }
.cmti-10 {
    font-style: italic
    }
.small-caps {
    font-variant: small-caps
    }
.hline hr, .cline hr {
    height: 1px
    }
.Canvas {
    position: relative
    }
img.mathdisplay {
    margin-top: 1em;
    margin-bottom: 1em
    }
span.tex {
    letter-spacing: -0.125em
    }
span.tex span.e {
    position: relative;
    top: 0.5ex;
    left: -0.0417em
    }
a span.tex span.e {
    text-decoration: none
    }
/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.math {
    font-family: "Century Schoolbook", serif
    }
.math i {
    font-family: "Century Schoolbook", serif;
    font-shape: italic
    }
.boldmath {
    font-family: "Century Schoolbook", serif;
    font-weight: bold
    }
/* implement both fixed-size and relative sizes */
small.xtiny {
    font-size: xx-small
    }
small.tiny {
    font-size: x-small
    }
small.scriptsize {
    font-size: smaller
    }
small.footnotesize {
    font-size: small
    }
big.xlarge {
    font-size: large
    }
big.xxlarge {
    font-size: x-large
    }
big.huge {
    font-size: larger
    }
big.xhuge {
    font-size: xx-large
    }
.default {
    text-decoration: underline;
    font-style: normal
    }
.required {
    font-weight: bold
    }
/*
 * Create a Box around the matter
 */
div.box {
    border: solid;
    border-width: 0.1em;
    padding: 0.5em
    }
/*
 *   Notes
 */
div.note {
    color: green;
    margin-left: 1em
    }
p.note {
    color: green;
    margin-left: 1em
    }
P.pnote {
    border-top: red thin solid;
    border-bottom: red thin solid;
    padding: 10px
    }
pre.example {
    background: #DEE7EC;
    color: Black;
    font-weight: normal;
    /* white-space:            nowrap; */
    text-align: left;
    margin-right: 8%;
    margin-left: 8%;
    border: solid;
    border-width: 0.1em;
    padding: 0.5em
    }
div.warning {
    margin-right: 8%;
    margin-left: 8%;
    align-margin: justify;
    font-weight: bold;
    border: solid 1
    }
DIV.output {
    margin-left: 3%
    }
.default {
    text-decoration: underline;
    font-style: normal
    }
.required {
    font-weight: bold
    }
.warning {
    text-transform: none;
    font-style: normal;
    font-weight: bolder;
    background: yellow;
    color: black
    }
.footer {
    margin-top: 2em;
    padding-top: 1em;
    border-top: solid thin black
    }
.warning strong {
    color: #FF4500;
    background: #FFD700;
    text-decoration: none
    }
.warning a:link, .warning a:visited, .warning a:active {
    color: #FF4500;
    background: transparent;
    text-decoration: underline
    }
.warning strong a:link, .warning strong a:visited, .warning strong a:active {
    color: #FF4500;
    background: #FFD700
    }
.important {
    text-transform: none;
    font-style: normal;
    font-weight: bolder;
    background: white;
    color: red
    }
/*
 * Error
 */
.error {
    color: #DC143C;
    background: transparent;
    text-decoration: none
    }
.error strong {
    color: #DC143C;
    background: #FFD700;
    text-decoration: none
    }
.error a:link, .error a:visited, .error a:active {
    color: #DC143C;
    background: transparent;
    text-decoration: underline
    }
.error strong a:link, .error strong a:visited, .error strong a:active {
    color: #DC143C;
    background: #FFD700
    }
/* letter and word spacing */
.letterspaced {
    letter-spacing: 10pt
    }
.wordspaced {
    word-spacing: 20px
    }
/* vertical alignment examples */
.sub {
    vertical-align: sub
    }
.super {
    vertical-align: super
    }
/* text alignment properties */
.right {
    text-align: right
    }
.left {
    text-align: left
    }
.justify {
    text-align: justify
    }
.center {
    text-align: center
    }
/* indentation and line-height examples */
p.indent {
    text-indent: 20px;
    line-height: 200%
    }
p.negindent {
    text-indent: -10px;
    background-color: yellow
    }
p.noindent {
    text-indent: 0
    }
p.indent {
    text-indent: 1.5em
    }
#bigchar {
    background-color: red;
    color: white;
    font-size: 28pt;
    font-family: Impact
    }
p.carson {
    font-size: 12pt;
    font-family: Courier;
    letter-spacing: 4pt;
    line-height: 5pt
    }
/* text transformation properties */
.uppercase {
    text-transform: uppercase
    }
.lowercase {
    text-transform: lowercase
    }
.capitalize {
    text-transform: capitalize
    }
/* text-decoration properties */
.underline {
    text-decoration: underline
    }
.blink {
    text-decoration: blink
    }
.line-through {
    text-decoration: line-through
    }
.overline {
    text-decoration: overline
    }
/* white space control */
.normal {
    white-space: normal
    }
.pre {
    white-space: pre
    }
.nowrap {
    white-space: nowrap
    }
.obeylines-h, .obeylines-v {
    white-space: nowrap
    }
/*
 *   Alignment
 */
div.justify {
    text-align: justify
    }
h1.center {
    text-align: center
    }
p.noindent {
    text-indent: 0
    }
p.indent {
    text-indent: 1.5em
    }