body {font: 20pt/22pt "serif"; background-image:url(background.gif); background-repeat: repeat-y; quotes: "\2018" "\2019" "\201C" "\201D" }

h1 {font-weight: normal; font-size: 36pt; line-height: 40pt; color: #C63904; text-align: left }

h2 {font-weight: normal; font-size: 20pt; line-height: 26pt; color: #C63904; }

h3 {font-weight: bold; font-size: 18pt;}

p  {margin-top: 10pt;}

.markup {font: 18pt/20pt "monospace"}

.example {font: 20pt/22pt "Notator Uni"}

.tp {font: 28pt/36pt "serif"; text-align: center; margin-top: 50pt; margin-bottom: 50pt;}

em {color: #0000ff; font-style: normal}

samp {font-size: 16pt}

table {width: 100%; padding: 20pt;}

td.left {width: 16%; vertical-align: top;}

img.main {margin-top: 10pt; margin-right: 20pt; float: left; border-style: solid; border-width: 1px}

img.sample {margin-right: 40pt; vertical-align: middle;}

.big {font-size: 200%; line-height: 200%}

a {display: none}