body {margin-top:40pt;}
#text {width:450pt; margin: 50pt auto; position:relative; right: 50pt;}
#droptitle {font-size: 105%;}
dl { margin-left: 20pt;}
dt { font-weight: 900; color: #333333; padding-top: 1pt}
a {color:#444444 }
a:hover {color: #A95858}
h2 {color:#444444; font-size:130%}
ul {margin-bottom: 22px}
li {margin-bottom: 6px}

/* syntax highlighting through pygment - light orange goes well with greens */
.highlight {background-color: #ffecc6; margin-left:10pt; margin-right:10pt; padding:10pt}