Update styles.

This commit is contained in:
Lars Jung 2015-05-16 05:17:08 +02:00
parent 8e5b874490
commit 673afead73

View file

@ -25,7 +25,7 @@
right: 0;
bottom: 0;
z-index: 10000;
font-family: Roboto, Helvetica, Arial, sans-serif;
font-family: "Ubuntu", "Roboto", "Helvetica", "Arial", "sans-serif";
background: @col-white;
#mocha-bar {
@ -137,7 +137,7 @@
pre {
display: block;
font-family: monospace;
font-family: "Ubuntu Mono", "Monaco", "Lucida Sans Typewriter", "monospace";
font-size: 12px;
margin: 4px 0 16px 18px;
padding: 0 8px;