H1 { color:navy; size:140%; font-weight:normal; text-align:center }
H2 { color:navy; size:120%; font-weight:normal }
H3 { color:navy; size:110%; font-weight:bold }
H4 { color:navy; size:100%; font-weight:bold }
H5 { color:navy; size:80%; font-weight:bold }
dl { margin-left:0.5cm }
dt { size:120%; font-weight:bold }
.note { size: 80%; font-style: italic;
        margin-left: 20; margin-top: 10 }
.elem { font-family: monospace; size: 90% }
.attr { font-family: monospace; size: 90% }