body {
  background-color:#fcfcfc;
  font-family:Arial,Helvetica,sans-serif;
  margin-left:10%;
  margin-right:15%;
}
h1 { font-size:1.17em; }
h2 { font-size:1.05em; }
p,dt,dd,td { font-size:0.95em; }
dt { font-style:italic; }
table.list td { padding-bottom:8px; }

.colored { color:#008040; }
.nowrap { white-space:nowrap; }

ul.compact { margin:0 0 1px 0; padding:0; }
ul.compact li { margin:0 0 0 1.5em; padding:0; }