mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-30 06:52:49 -06:00
gfse: somewhat simplified configuration/installation
This commit is contained in:
@@ -4,7 +4,7 @@ h1,h2,h3,h4,small { font-family: sans-serif; }
|
||||
h1:first-child, h2:first-child { margin-top: 0; margin-bottom: 1ex; }
|
||||
|
||||
#editor { max-width: 50em; }
|
||||
div.grammar { border: 1px solid black; background: white; background: #9df; }
|
||||
div.grammar { border: 1px solid black; background: #9df; }
|
||||
div.files { margin: 0 8px 8px 8px; }
|
||||
|
||||
div#file { border: 2px solid #009; border-top-width: 0; }
|
||||
|
||||
Reference in New Issue
Block a user