diff options
| author | hallgren <hallgren@chalmers.se> | 2011-07-25 19:21:46 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-07-25 19:21:46 +0000 |
| commit | 0f7743992b1816ba0bddffe4c7c122469c47e32b (patch) | |
| tree | d3767ea812ebc5d142f1ec03a177d91978e704e1 /src/editor/simple/editor.css | |
| parent | 848373e29e6d16db50b68e8835a474dd14b5ab9d (diff) | |
gfse: various small improvements
Diffstat (limited to 'src/editor/simple/editor.css')
| -rw-r--r-- | src/editor/simple/editor.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/editor/simple/editor.css b/src/editor/simple/editor.css index ebb0a9baa..d7a415186 100644 --- a/src/editor/simple/editor.css +++ b/src/editor/simple/editor.css @@ -79,4 +79,6 @@ input.string_edit { font-family: inherit; font-size: inherit; } ul.languages { -moz-column-width: 20em; } +li { margin-top: 0.5ex; margin-bottom: 0.5ex; } + #sharing h1, #sharing .footer { display: none; }
\ No newline at end of file |