diff options
Diffstat (limited to 'infrastructure/ace/www/editor.css')
-rw-r--r-- | infrastructure/ace/www/editor.css | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/infrastructure/ace/www/editor.css b/infrastructure/ace/www/editor.css index 0a43478..9df127d 100644 --- a/infrastructure/ace/www/editor.css +++ b/infrastructure/ace/www/editor.css @@ -6,7 +6,12 @@ body { margin: 0; white-space: nowrap; -} +} + +h1,h2,h3,h4,h5,h6 { + display: inline; + line-height: 2em; +} #outerdocbody { background-color: #fff; @@ -106,4 +111,4 @@ p { font-family: monospace; /* overridden by lineMetricsDiv.style */ } -#overlaysdiv { position: absolute; left: -1000px; top: -1000px; }
\ No newline at end of file +#overlaysdiv { position: absolute; left: -1000px; top: -1000px; } |