/* Typography */ 

blockquote {
    font-size: small; 
    font-family: Consolas, "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
    margin: 1em 2.5em 1em 2.5em; 
}

pre { 
    background-color: #eee;
    padding: 2em; 
}

h4 {
    text-indent: 2.5em;
    margin-bottom: .5em;
}

h4 + p {
    text-indent: 2.5em;
    margin-top: .5em;
}

span.underline {
    padding-bottom: .1em;
    border-bottom: dotted .2em #bbb;
}

span.amp {
    font-family: "Palatino Linotype", Palatino, "URW Palladio L", "Book Antiqua", Baskerville, "Bookman Old Style", "Bitstream Charter", "Nimbus Roman No9 L", Garamond, "New Century Schoolbook", "Century Schoolbook", "Century Schoolbook L", Georgia, serif; 
    font-weight: bold;
    font-style: italic;
    color: #060;
}

a.reference {
    /* See main.js */
}

table {
    border-width: 1px;
    border-color: #ccc;
    border-collapse: collapse;
    background-color: white;
    margin: 1em 0px
}

table td {
    padding: .4em .8em;
}

ul.bibliography {
    margin-top: 4em;
    border-top: solid 1px gray; 
    padding: 1em 0em .5em 4em;
    text-indent: -4em;    
    list-style: none;
}

ul.bibliography li {
    margin-bottom: .5em;
}