diff options
Diffstat (limited to 'public/css')
| -rw-r--r-- | public/css/style.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/public/css/style.css b/public/css/style.css index 4a2acff..6dcf682 100644 --- a/public/css/style.css +++ b/public/css/style.css @@ -202,6 +202,11 @@ body { margin-top: 20px; } + textarea.code-snippet { + font-size: 12px; + font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, Courier, monospace; + } + /** * nicer file upload |