font.version {
    color: #000080;
    font-family: century_bold
    }
font.high {
    color: #f00;
    font-family: century_bold
    }
font.medium {
    color: #ffa000;
    font-family: century_bold
    }
font.low {
    color: #00a000;
    font-family: century_bold
    }
ul.changes {
    margin-top: 10px;
    margin-bottom: 10px
    }