diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/editor/index.html | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/editor/index.html b/tools/editor/index.html index e214d03..158c472 100644 --- a/tools/editor/index.html +++ b/tools/editor/index.html | |||
| @@ -27,11 +27,13 @@ | |||
| 27 | width: 100%; | 27 | width: 100%; |
| 28 | height: 100%; | 28 | height: 100%; |
| 29 | padding: 20px; | 29 | padding: 20px; |
| 30 | font: 16px monospace; | ||
| 31 | outline: none; | 30 | outline: none; |
| 32 | border: 0; | 31 | border: 0; |
| 33 | background: #333; | 32 | background: #333; |
| 34 | color: #fff; | 33 | color: #fff; |
| 34 | font-size: 28px; | ||
| 35 | font-family: "Lucida Console", Monaco, monospace; | ||
| 36 | font-weight: 200; | ||
| 35 | } | 37 | } |
| 36 | </style> | 38 | </style> |
| 37 | 39 | ||