# HG changeset patch # User Steve Losh # Date 1531080681 0 # Node ID 08265e9dcdd3b5cb722b4cc80b171bcde69bc489 # Parent a94c8ec4eb98d0dfe80bd2ddbbd4868e093e7567 More linux tweaks diff -r a94c8ec4eb98 -r 08265e9dcdd3 static/media/css/sjl.css --- 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; diff -r a94c8ec4eb98 -r 08265e9dcdd3 static/media/css/sjl.less --- 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;