1
0
mirror of https://github.com/node-red/node-red.git synced 2023-10-10 13:36:53 +02:00

Change font family (#1357)

thanks  @k4zzk
This commit is contained in:
Kosuke Akizuki 2017-08-24 20:14:55 +09:00 committed by Dave Conway-Jones
parent a844ca161f
commit 170d6b28f8

View File

@ -201,7 +201,7 @@
border-radius:5px;
overflow: hidden;
font-size: 14px !important;
font-family: monospace !important;
font-family: Menlo, Consolas, 'DejaVu Sans Mono', Courier, monospace !important;
}
.editor-button {