--- a/static/media/css/sjl.css Sun Jul 08 17:03:49 2018 +0000
+++ b/static/media/css/sjl.css Sun Jul 08 20:11:21 2018 +0000
@@ -70,8 +70,8 @@
}
body code,
body pre {
- font-family: Consolas, Menlo, "Courier New", monospace;
- font-size: 14px;
+ font-family: Consolas, Menlo, "Ubuntu Mono", "Courier New", monospace;
+ font-size: 16px;
}
body div.threejs {
margin-bottom: 16px;
@@ -83,7 +83,7 @@
text-align: center;
}
body pre {
- font-family: Consolas, Menlo, "Courier New", monospace;
+ font-family: Consolas, Menlo, "Ubuntu Mono", "Courier New", monospace;
font-size: 16px;
line-height: 20px;
overflow-x: auto;
@@ -111,7 +111,7 @@
}
body pre.lineart {
background: none;
- font-family: Consolas, Menlo, "Courier New", monospace;
+ font-family: Consolas, Menlo, "Ubuntu Mono", "Courier New", monospace;
font-size: 16px;
line-height: 20px;
border: none;
@@ -124,7 +124,7 @@
body table code {
border: 1px solid #ccc;
background-color: #fafafa;
- font-size: 13px;
+ font-size: 16px;
padding: 1px 3px;
line-height: 20px;
margin: 0;
--- a/static/media/css/sjl.less Sun Jul 08 17:03:49 2018 +0000
+++ b/static/media/css/sjl.less Sun Jul 08 20:11:21 2018 +0000
@@ -40,8 +40,8 @@
h3 { font-size: 23px; line-height: 25px; margin: 25px 0; } // 3
h4 { font-size: 18px; line-height: 25px; margin: 25px 0; font-weight: bold; } // r
code, pre {
- font-family: Consolas, Menlo, "Courier New", monospace;
- font-size: 14px;
+ font-family: Consolas, Menlo, "Ubuntu Mono", "Courier New", monospace;
+ font-size: 16px;
}
div.threejs {
margin-bottom: 16px;
@@ -55,7 +55,7 @@
}
pre {
- font-family: Consolas, Menlo, "Courier New", monospace;
+ font-family: Consolas, Menlo, "Ubuntu Mono", "Courier New", monospace;
font-size: 16px;
line-height: 20px;
@@ -87,7 +87,7 @@
pre.lineart {
background: none;
- font-family: Consolas, Menlo, "Courier New", monospace;
+ font-family: Consolas, Menlo, "Ubuntu Mono", "Courier New", monospace;
font-size: 16px;
line-height: 20px;
border: none;
@@ -98,7 +98,7 @@
p code, li code, table code {
border: 1px solid #ccc;
background-color: #fafafa;
- font-size: 13px;
+ font-size: 16px;
padding: 1px 3px;
line-height: 20px;
margin: 0;