This revision was correct except for a missing curly brace after the .i18ndoc rule set, and CSS doesn't register "Times new roman font" as a valid font (though it registers "Times New Roman"). The code should look like:

.i18ndoc {
    background-color: #FFF77D;
    border-bottom: 1px solid lightgrey;
    font-family: monospace;
    font-size: 8pt;
    height: 140px;
    overflow: auto;
    padding: 3px;
.WikiNav a {
    font-family: 'Times New Roman';
    text-transform: uppercase;
Community content is available under CC-BY-SA unless otherwise noted.