/*UHztomasze-index.css */
/*For index and nav pages, rather than for papers */
/* (also currently being used for ta/ pages, since all have left margin */

/* for index and nav pages (index.html, ta/index.html, etc */
BODY {margin: 3px}
UL {margin-top: .5ex; margin-bottom: 3ex}

UL.short {margin-top: .5em; margin-bottom: 1em}
H4.short {margin-top: 0.5em; margin-bottom: 0em}

H1 {margin: 0}

DT {font-weight: bold; margin-bottom: 0.5em}
DD {margin-bottom: 1em}
/* for relatively normal-looking DT */
DL.normal DT {font-weight: normal; margin-bottom: 0em;}
DL.normal DD {margin-bottom: 0.5em;}

BLOCKQUOTE.quote, .code {font-family: courier, monospace;  font-size: 90%;}
BLOCKQUOTE.text {font-family: arial, sans-serif;  font-size: 90%;}

A.inline {text-decoration: none;}

.half {line-height: 40%}
.blue {color: blue;}
.input {color: #009900;}