body {
        max-width: 700px;
	margin-left: auto;
	margin-right: auto;
	margin-bottom: 100px;
	margin-top: 40px;
	font-size: 10pt;
}
a:link { color: #090; }
a:visited { color: #053; }
.floatright {
    float: right;
    margin: 30px;
}
.box {
        float: right;
        width: 180px;
        border-radius: 10px;
        margin: 20px;
        padding: 20px;
        background-color: #fcc;
}
.box:first-letter {
        font-size : 200%;
        font-weight: bold;
        float : left;
        width : 0.8em;
}
.initial {
        font-weight: bold;
}
.unimportant { font-size: 70%; }
.footnote {font-size: 8pt;}
.blue { background-color: #ccf; }
h1 {
        font-size: 15pt;
}
h2 {
        font-size: 13pt;
        padding-top: 2em;
}
h3 {
    padding-top: 1em;
    font-size: 11pt;
}
.quote {
    font-style: italic;
    margin-left: 30px;
}
pre {
	margin: 25px;
	font-size: 90%;
	padding: 10px;
	background-color: #ffd;
}

/* I wish it would only affect my picture tables... */
table {
    margin-top: 5ex;
    margin-bottom: 5ex;
}
table > caption[align=bottom] + tbody > tr > td > img {
    border: solid 1px;
}

table.real {
    border-collapse: collapse;
}
table.real th, table.real td {
    border-style: solid;
    border-color: gray;
    border-width: 1px;
}

img.floatright {
    border: solid 1px;
}

p {
    text-align: justify;
}

ul.firstLevelNone {
    list-style-type: none;
}