Modification to bmxlang.css:
body{ color: #000000; background: #ffffff; font: 10pt helvetica; } body.navbar{ color: #000000; background: #ffffff; font: 9pt helvetica; padding: 2px; } h1{ font: 14pt helvetica; font-weight: bold; } h2{ font: 12pt helvetica; font-weight: bold; } h3{ font: 10pt helvetica; font-weight: bold; } table{ background: #f8f8f8; border: solid 1px #000000; } th{ font: 10pt helvetica; font-weight: bold; text-align: left; padding: 4px, 16px 4px 1px; } td{ font: 10pt helvetica; padding: 2px 16px 2px 1px; } pre{ font: 10pt courier; padding: 8px; } pre.demo{ background-color : #EFEFEF; border-left-color : Black; border-left-style : solid; border-left-width : 1px; border-right-color : Black; border-right-style : solid; border-right-width : 1px; border-top-color : Black; border-top-style : solid; border-top-width : 1px; border-bottom-color : Black; border-bottom-style : solid; border-bottom-width : 1px; } pre.code{ background-color : #EFEFEF; border-left-color : Black; border-left-style : solid; border-left-width : 1px; border-right-color : Black; border-right-style : solid; border-right-width : 1px; border-top-color : Black; border-top-style : solid; border-top-width : 1px; border-bottom-color : Black; border-bottom-style : solid; border-bottom-width : 1px; } font.fixed{ font: 10pt courier; } font.token{ font: 10pt courier; font-weight: bold; } font.syntax{ font: 10pt courier; font-style: italic; } div.fundoc{ background: #e8e8e8; border-top: 1px solid #000000; border-bottom: 1px solid #000000; padding: 8px; } div.syntax{ font: 10pt courier; font-style: italic; padding: 8px; } div.indent{ padding: 8px; } a{ color: #000088; font: 10pt helvetica; } a:hover{ color: #000088; font: 10pt helvetica; } a.null{ text-decoration: none; } a.token{ color: #0000ff; font: 10pt courier; font-weight: bold; } div.entries{ display: none; }