diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-11-13 15:14:49 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-11-13 15:14:49 +0000 |
| commit | 5c8c1f768fae242ba659d4b6a3696336042e0b1c (patch) | |
| tree | 463f4007559a5b43cc3f789dd0e21b6a72b981fd /src/www/syntax-editor/ui/style.css | |
| parent | 27e675910a88fec3d7f0cc0ac6020d86f1089fe7 (diff) | |
Add first demo of new syntax editor
As part of the GF cloud stuff, it can be accessed from
http://cloud.grammaticalframework.org/syntax-editor/editor.html
Diffstat (limited to 'src/www/syntax-editor/ui/style.css')
| -rw-r--r-- | src/www/syntax-editor/ui/style.css | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/src/www/syntax-editor/ui/style.css b/src/www/syntax-editor/ui/style.css new file mode 100644 index 000000000..f4f29d040 --- /dev/null +++ b/src/www/syntax-editor/ui/style.css @@ -0,0 +1,64 @@ +body { + background: #ccc url("http://cloud.grammaticalframework.org/minibar/brushed-metal.png"); +} + +#tree +{ + white-space:pre; + font-family: monospace; + background: rgba(238, 238, 238, 0.6); + padding:0.5em; + margin:0.5em 0; + } + +#tree .node +{ + margin: 0.4em 0 0.4em 1.5em; + } + +#tree .node a +{ + cursor: pointer; + } +#tree .node a:hover +{ + text-decoration: underline; + } +#tree .node a.current +{ + font-weight: bold; + } + +#linearisations +{ + background: rgba(170, 170, 170, 0.5); + padding:0.5em; + margin:0.5em 0; + } +#linearisations div +{ + padding:0.2em; + } +#linearisations .lang +{ + display: inline-block; + margin-right: 0.5em; + width: 3em; + font-weight: bold; + text-align: center; + } +#linearisations .lin +{ + } + +.refinement +{ + margin: 0 0.1em; + display: inline-block; + cursor: pointer; + border: 1px solid; + padding: 0.2em; + font: 0.9em sans-serif; + background: white; + } + |