#main {
    width: 1000px;
    margin-left: auto;
    margin-right: auto
}

body {
    font-size: 150%;
    margin: 20px 20px 20px 20px
}

.slide {
    margin-top: 500px;
    margin-bottom: 500px
}

.smaller {
    font-size: 0.8em
}

.smallerer {
    font-size: 0.6em
}

.centered, h2 { text-align: center }

.blocktext {
    margin-left: auto;
    margin-right: auto;
    width: 900px
}

.displayed {
    display: block;
    margin-left: auto;
    margin-right: auto
}

.fleft {
    float: left;
    margin: 8px 8px 8px 8px
}

.fright {
    float: right;
    margin: 8px 8px 8px 8px
}

.clear_both {
      clear: both
}

.m10 {
    margin: 10px 10px 10px 10px
}

.m20 {
    margin: 20px 20px 20px 20px
}

.m30 {
    margin: 30px 30px 30px 30px
}

.m40 {
    margin: 40px 40px 40px 40px
}

.top {
    vertical-align: top
}

td {
    padding: 15px;
}

.restbl, .restbl th, .restbl td {
    border: 1px solid black;
    border-collapse:collapse;
    padding: 10px
}

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

.padded li
{
    padding: 10px
}

.code {
    width: 80ex;
    border-style: solid;
    padding: 10px;
    margin: 10px;
    background: white
}

.tt {
    font-family: monospace
}

em {
    color: crimson
}

h1 { margin-top: 50px }
h2 { margin-top: 40px }
h3 { margin-top: 30px }
h4 { margin-top: 20px }
h5 { margin-top: 10px }