.div2 {
    padding-top: 1.2ex
    }
h3, .h3 {
    font-size: 1.1em;
    line-height: 1.1em;
    font-weight: bold
    }
div.index p {
    margin-left: 1em;
    text-indent: -1em;
    margin-top: 0;
    margin-bottom: 0
    }
.xd22e106 {
    text-align: center
    }
.xd22e134 {
    color: #9d3000
    }
.xd22e157 {
    text-align: center;
    font-size: small
    }
.xd22e162 {
    font-size: smaller
    }
.xd22e3538 {
    font-size: large;
    font-family: sans-serif;
    font-weight: bold
    }