diff options
| author | hallgren <hallgren@chalmers.se> | 2012-04-04 17:00:25 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-04-04 17:00:25 +0000 |
| commit | 43c28ad2769f914e7a21860efee34c8566fc610d (patch) | |
| tree | d0602f505c72af9904c53eecc3e0fbd0d0787c05 /src/www/gfse/editor.css | |
| parent | 01a0f1d3e6054eaa2b876395f733af20edc534cc (diff) | |
minibar&gfse: first working grammar extension interface in minibar
There are still some user interface wrinkles to iron out.
Diffstat (limited to 'src/www/gfse/editor.css')
| -rw-r--r-- | src/www/gfse/editor.css | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index 27a589a1f..9dd9a091f 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -117,3 +117,20 @@ div#minibar { padding: 5px; background: #ccc url("../minibar/brushed-metal.png"); } + +table.page_overlay { + position: absolute; + top: 0; left: 0; + width: 100%; height: 100%; + background: rgba(0,0,0,0.5); +} +table.page_overlay>tr>td { text-align: center; vertical-align: middle; } + +div.grammar_extension { + display: inline-block; + border: 1px solid black; + background: #9df; + padding: 2ex; + margin: 2ex; + box-shadow: 10px 10px 10px rgba(0,0,0,0.3); +}
\ No newline at end of file |
