.third { background-color:#DF7F7F; }
.fourth { background-color:#DFDF5F; }
.cmd { font-family:monospace; font-size: 11pt10pt; }
.annot { font-family:sans-serif; margin-top:1cm; }
.large { font-size: 24pt; }
margin: 0;
list-style: none;
}
tt {
font-size: inherit;
}