body {                          /* general document definitions */
   color: black;
   background: white;
   margin-left: 3%;
   margin-right: 3%;
}

div.title {
   text-align: center;
   visibility: hidden;
}
div.group {
   text-align: center;
   visibility: hidden;
}
h1, .titletext {
   text-align: center;
   font-size: xx-large;
   font-weight: bold;
}
h1 em, .grouptext {
   text-align: center;
   font-size: x-large;
   font-style: italic;
   font-weight: bold;
}

:link {				/* link */
   text-decoration: none;
   color: blue;
}
:visited {			/* visited */
   text-decoration: none;
   color: blue;
}
:active {			/* activated link */
   text-decoration: none;
   color: blue;
}
:hover {			/* mouse on link */
   text-decoration: none;
   color: blue;
}

h4 {
   text-align: center;
   color: #259900;
}
h2 {
   color: red;
}
h3 {
   margin-left: -2%;
   text-decoration: underline;
   color: #259900;
}
p {
   margin-top: 1em;
   margin-bottom: .5em;
}
.characterNormal {
   margin-top: 0em;
   margin-bottom: 0em;
}
.characterNightmare {
   margin-top: 0em;
   margin-bottom: 0em;
   color: orange;
}
.characterHell {
   margin-top: 0em;
   margin-bottom: 0em;
   color: red;
}
.normalmargingtop {
   margin-top: 1em;
}

pre {
   font-family: monospace;
}
pre.code {
   margin-left: +2%;
}
.small {
  font-size: small;
}

th {
   text-align: center;
   font-weight: bold;
   color: black;
   background: white;
}
td {		                /* default cell */
   margin-left: 0;
   vertical-align: top;
   color: black;
   background: white;
}

img.right {                     /* floating image, right */
   float: right;
}

img.left {                     /* floating image, left */
   float: left;
}