Merge pull request #3206 from 00SteinsGate00/RobotoMono

Added RobotoMono as a more modern and pretty monospaced font
This commit is contained in:
Luiza Pagliari 2017-07-12 08:02:09 -03:00 committed by GitHub
commit 8c57c8d0d6
7 changed files with 22 additions and 6 deletions

View file

@ -1277,6 +1277,21 @@ input[type=checkbox] {
src: url("../../static/font/opendyslexic.otf") format("opentype");
}
/* Roboto Mono */
@font-face {
font-family: "RobotoMono";
src: url("../../static/font/RobotoMono-Regular.ttf") format("truetype");
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: "RobotoMono";
src: url("../../static/font/RobotoMono-Bold.ttf") format("truetype");
font-weight: bold;
font-style: normal;
}
/* End of Roboto Mono */
@font-face {
font-family: "fontawesome-etherpad";
src:url("../../static/font/fontawesome-etherpad.eot");
@ -1321,5 +1336,3 @@ input[type=checkbox] {
.hideControlsEditbar{
display:none !important;
}