Added RobotoMono as a more modern and pretty monospaced font, addressing #3201

I added RobotoMono-Regular and RobotoMono-Bold as TrueTypeFont files and included them into the list. I tred to stay in alphabetical order where possible.

The author of #3201 was asking for a more modern monospaced font.
This commit is contained in:
Jan Holub 2017-06-21 23:44:23 +02:00
parent 9f51432175
commit 7029248a76
7 changed files with 41 additions and 25 deletions

View file

@ -1260,6 +1260,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");
@ -1304,5 +1319,3 @@ input[type=checkbox] {
.hideControlsEditbar{
display:none !important;
}