diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/mmd/mmd.css | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/tools/mmd/mmd.css b/tools/mmd/mmd.css index 0a149a0..7224b8c 100644 --- a/tools/mmd/mmd.css +++ b/tools/mmd/mmd.css @@ -21,7 +21,7 @@ html, body #rcol { - font: 12pt courier, monospace; + font: 10pt courier, monospace; width: 640px; margin: 1px; padding: 2px; @@ -42,7 +42,7 @@ html, body #lcol { - font: 12pt courier, monospace; + font: 10pt courier, monospace; width: 280px; height: auto; margin: 1px; @@ -54,19 +54,19 @@ html, body #info { - font: 12pt courier, monospace; + font: 10pt courier, monospace; color: black; background-color: white; } #datahead { - font: 16pt courier, monospace; + font: 14pt courier, monospace; } #status { - font: 24pt arial, sans-serif; + font: 22pt arial, sans-serif; color: white; width: 100%; height: 64px; @@ -85,14 +85,14 @@ html, body .formfield { - font: 14pt courier, monospace; + font: 12pt courier, monospace; float: none; } #dev { background-color: red; - font: 16pt courier, monospace; + font: 14pt courier, monospace; width: 100%; float: left; } |