Google

Edit File: manual.css

h3 code { font-family: inherit ; } pre { font-size: 105% ; } span.apii { float: right ; font-family: inherit ; }