diff --git a/src/locales/en.json b/src/locales/en.json
index 9e0d49b3f..b9c8cb74e 100644
--- a/src/locales/en.json
+++ b/src/locales/en.json
@@ -47,6 +47,7 @@
"pad.settings.fontType.lucida": "Lucida",
"pad.settings.fontType.lucidasans": "Lucida Sans",
"pad.settings.fontType.palatino": "Palatino",
+ "pad.settings.fontType.robotomono": "RobotoMono",
"pad.settings.fontType.tahoma": "Tahoma",
"pad.settings.fontType.timesnewroman": "Times New Roman",
"pad.settings.fontType.trebuchet": "Trebuchet",
diff --git a/src/static/css/pad.css b/src/static/css/pad.css
index 0b881d78c..397e61eea 100644
--- a/src/static/css/pad.css
+++ b/src/static/css/pad.css
@@ -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;
}
-
-
diff --git a/src/static/font/RobotoMono-Bold.ttf b/src/static/font/RobotoMono-Bold.ttf
new file mode 100755
index 000000000..07ef607d5
Binary files /dev/null and b/src/static/font/RobotoMono-Bold.ttf differ
diff --git a/src/static/font/RobotoMono-Regular.ttf b/src/static/font/RobotoMono-Regular.ttf
new file mode 100755
index 000000000..b158a334e
Binary files /dev/null and b/src/static/font/RobotoMono-Regular.ttf differ
diff --git a/src/static/js/pad.js b/src/static/js/pad.js
index 4fefadf38..392a657ea 100644
--- a/src/static/js/pad.js
+++ b/src/static/js/pad.js
@@ -555,7 +555,7 @@ var pad = {
}
var fonts = ['useMonospaceFont', 'useOpenDyslexicFont', 'useComicSansFont', 'useCourierNewFont', 'useGeorgiaFont', 'useImpactFont',
- 'useLucidaFont', 'useLucidaSansFont', 'usePalatinoFont', 'useTahomaFont', 'useTimesNewRomanFont',
+ 'useLucidaFont', 'useLucidaSansFont', 'usePalatinoFont', 'useRobotoMonoFont', 'useTahomaFont', 'useTimesNewRomanFont',
'useTrebuchetFont', 'useVerdanaFont', 'useSymbolFont', 'useWebdingsFont', 'useWingDingsFont', 'useSansSerifFont',
'useSerifFont'];
diff --git a/src/static/js/pad_editor.js b/src/static/js/pad_editor.js
index 3e6b49d31..a1a901cb9 100644
--- a/src/static/js/pad_editor.js
+++ b/src/static/js/pad_editor.js
@@ -1,5 +1,5 @@
/**
- * This code is mostly from the old Etherpad. Please help us to comment this code.
+ * This code is mostly from the old Etherpad. Please help us to comment this code.
* This helps other people to understand this code better and helps them to improve it.
* TL;DR COMMENTS ON THIS FILE ARE HIGHLY APPRECIATED
*/
@@ -31,7 +31,7 @@ var padeditor = (function()
// Array of available fonts
var fonts = ['useMonospaceFont', 'useOpenDyslexicFont', 'useComicSansFont', 'useCourierNewFont', 'useGeorgiaFont', 'useImpactFont',
- 'useLucidaFont', 'useLucidaSansFont', 'usePalatinoFont', 'useTahomaFont', 'useTimesNewRomanFont',
+ 'useLucidaFont', 'useLucidaSansFont', 'usePalatinoFont', 'useRobotoMonoFont', 'useTahomaFont', 'useTimesNewRomanFont',
'useTrebuchetFont', 'useVerdanaFont', 'useSymbolFont', 'useWebdingsFont', 'useWingDingsFont', 'useSansSerifFont',
'useSerifFont'];
@@ -102,7 +102,7 @@ var padeditor = (function()
pad.changeViewOption(font, $("#viewfontmenu").val() == sfont);
});
});
-
+
// Language
html10n.bind('localized', function() {
$("#languagemenu").val(html10n.getLanguage());
@@ -168,6 +168,7 @@ var padeditor = (function()
if(font === "lucida") self.ace.setProperty("textface", "Lucida,'Lucida Serif','Lucida Bright',serif");
if(font === "lucidasans") self.ace.setProperty("textface", "'Lucida Sans','Lucida Grande','Lucida Sans Unicode','Luxi Sans',sans-serif");
if(font === "palatino") self.ace.setProperty("textface", "Palatino,'Palatino Linotype','URW Palladio L',Georgia,serif");
+ if(font === "robotomono") self.ace.setProperty("textface", "RobotoMono");
if(font === "tahoma") self.ace.setProperty("textface", "Tahoma,sans-serif");
if(font === "timesnewroman") self.ace.setProperty("textface", "'Times New Roman',Times,serif");
if(font === "trebuchet") self.ace.setProperty("textface", "'Trebuchet MS',sans-serif");
diff --git a/src/templates/pad.html b/src/templates/pad.html
index 7c1f1fb13..ae5adc05f 100644
--- a/src/templates/pad.html
+++ b/src/templates/pad.html
@@ -168,6 +168,7 @@
+