body {margin-top:40pt; margin-right:30px}
#text {width:450pt; margin: 50pt auto; position:relative; right: 50pt;}
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%}
h4 {color:#444444; font-size:110%}
ul {margin-bottom: 22px}
li {margin-bottom: 6px}

.code {white-space: pre; width:40em; margin:20px;font-family: monospace}

.droptitle {font-size: 105%; font-weight:900}

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