GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-11 22:09:32 -06:00
Code Issues Packages Projects Releases Wiki Activity

Syntax editor: minor CSS fix

Browse Source
This commit is contained in:
john.j.camilleri
2013-08-13 09:30:13 +00:00
parent 1b595dcbe9
commit 1979867f3c
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/www/syntax-editor/editor.css
View File

@@ -37,7 +37,7 @@ body.syntax-editor {
#tree, #tree_str
{
white-space:pre;
white-space:pre-wrap;
font-family: monospace;
background: rgba(238, 238, 238, 0.6);
padding:0.5em;
@@ -125,7 +125,7 @@ body.syntax-editor {
div#debug
{
font: 10px monospace;
white-space: pre;
white-space: pre-wrap;
color: #333;
margin: 1em 0;
border: 1px dashed #999;