.i18ndoc { background-color: #FFF77D; border-bottom: 1px solid lightgrey; font-family: monospace; font-size: 8pt; height: 140px; overflow: auto; padding: 3px; } .infobox { float: left; margin-right: 1em; {