body {background-color: #eeeeff;  }

a:link { color: #6600ee }
a:visited { color: #6600ee }
a:hover { color: #cc00ee }

li {padding-bottom: 0.5ex}
ul {padding-top: 0.5ex; padding-bottom: 0.5ex}
ol {padding-top: 0.5ex; padding-bottom: 0.5ex}

h1 {font-size: 120% }
h2 {font-size: 115% }
h3 {font-size: 110% }
h4 {font-size: 105% }

th {text-align: left}

.note { font-size: 90% }
.imprint {font-size: 80%; font-style: italic}
.someSpace {padding-bottom: 0.75ex; padding-top: 0.75ex }
.myHeading {font-family: Times New Roman, serif; font-size: 120%; font-weight: bold; padding-top: 0.5ex;  padding-bottom: 1.5ex }
.mySubHeading {font-family: Times New Roman, serif; font-size: 110%; font-weight: bold; padding-top: 1ex;  padding-bottom: 1ex }

.warning {font-weight: bold; color: red;}
.my_table_heading { font-size: 100%; font-family: Times New Roman, serif;  font-weight: bold; padding-bottom: 1ex }
.emphasize { font-size: 115%; font-family: Times New Roman, serif;  font-weight: bold }
.sequencedisplay {font-size: 95%; font-family: courier, monospace }
.framedisplay {font-family: courier new, monospace; font-size: 100% }
.tt {font-family: courier new, monospace; font-size: 100% }

.plain_text {font-family: Times New Roman, serif; font-size: 100%; padding: 10 }
.enzyme {font-family: Times New Roman, serif; font-size: 100%; cursor: default; vertical-align: middle }
.help {color: red; margin: 0cm, 2cm; line-height: 150%}