apply monospace font correctly

pull/21833/head
Matthew Hodgson 2019-05-19 17:41:18 +01:00
parent 069a5a9546
commit e48cc44cba
3 changed files with 9 additions and 0 deletions

View File

@ -32,6 +32,10 @@ body {
margin: 0px; margin: 0px;
} }
code {
font-family: $monospace-font-family;
}
.error, .warning { .error, .warning {
color: $warning-color; color: $warning-color;
} }

View File

@ -411,6 +411,7 @@ limitations under the License.
.mx_EventTile_content .markdown-body { .mx_EventTile_content .markdown-body {
pre, code { pre, code {
font-family: $monospace-font-family ! important;
// deliberate constants as we're behind an invert filter // deliberate constants as we're behind an invert filter
color: #333; color: #333;
} }

View File

@ -7,6 +7,10 @@
to native Emoji fonts (if any) to ensure cross-browser consistency */ to native Emoji fonts (if any) to ensure cross-browser consistency */
$font-family: Nunito, Arial, Helvetica, Sans-Serif, 'Twemoji Mozilla'; $font-family: Nunito, Arial, Helvetica, Sans-Serif, 'Twemoji Mozilla';
// XXX: In theory this should be Fira, but it's a bit ugly.
// TODO: make it consistent cross-browser
$monospace-font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace, 'Twemoji Mozilla';
// unified palette // unified palette
// try to use these colors when possible // try to use these colors when possible
$accent-color: #03b381; $accent-color: #03b381;