pre { font-size: 12pt; margin-left: 20px; padding-left: 10px; padding-right: 10px; padding-top: 10px; padding-bottom: 10px; background-color: #DDD; }
tt { padding-left: 2px; padding-right: 2px; font-size: 85%; background-color: rgba(220,220,220,0.5); }
tt.virgin { padding-left: 0px; padding-right: 0px; font-size: 85%; background-color: transparent; }
/* Works, but not nicely:
red { color: #f00; }
*/
.red { color: #f00; }
div.outdated { display: inline-block; padding-left: 2px; padding-right: 2px; padding-top: 2px; font-size: 11pt; background-color: #EEC; }
div.digression { display: inline-block; padding: 8px 8px 8px 8px; font-size: 11pt; background-color: #EDD; }
a { text-decoration: none; }
div.main { font-size: 18pt; margin-left: 10px; margin-right: 100px; margin-bottom: 40px; }
h2 { margin-top: 30px; color: #444; }
h3 { margin-top: 30px; color: #222; }
h4 { margin-top: 40px; color: #111; }
div.footer { font-size: 12pt; margin-top: 30px; }
/*
table.table { text-align: top; vertical-align: top; }
table.table > tr { text-align: top; vertical-align: top; }
table.table > tr > td { text-align: top; vertical-align: top; }
*/
/* table { border-collapse: collapse; } */
tr { text-align: top; vertical-align: top; }
td { text-align: top; vertical-align: top; padding-left: 8px; padding-top: 16px; }
li { margin-top: 4px; }