h3.nav {
        margin-top: 0px;
        margin-bottom: 0px;
    }
    
    table.numbers {
        background-color: #FFFFA0;
        margin-left: auto;
        margin-right: auto;
    }

    table.numbers td {
        padding: 3px;
        text-align: center;
    }

    table.numbers td.h {
        font-size: 18pt;
    }
    
    span.b {
    }

    span.n {
        font-size: 12pt;
    }
    
    dl {
        text-align: justify;
    }

    dt {
        font-weight: bold;
    }

    div.bodycopy {
        margin-left: 15%;
        margin-right: 10%
    }

    .c {
        text-align: center;
    }
    
    .j {
        text-align: justify;
    }