diff options
| author | Tom Needham <needham.thomas@gmail.com> | 2015-09-01 14:30:49 +0300 |
|---|---|---|
| committer | Tom Needham <needham.thomas@gmail.com> | 2015-09-01 14:30:49 +0300 |
| commit | 2ac1db23adc0cb24d3a55bc33a9d3766f1c158f1 (patch) | |
| tree | 75005178a5c55a22f127549beeff7f10a1f5c80a /css | |
| parent | 4b68a60383870b5e44784f9a3f7790f58d68e96d (diff) | |
Fix unsaved star positioning and editor font size
Diffstat (limited to 'css')
| -rw-r--r-- | css/style.css | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/css/style.css b/css/style.css index 3852b4b..dc8f1b4 100644 --- a/css/style.css +++ b/css/style.css @@ -1,6 +1,6 @@ -.ie8 #editor_container div{ +#editor_container div{ /* override core style.css font-size:100% that messes up the editor in IE8 */ - font-size: 12px !important; + font-size: 13px !important; } #editor_controls { @@ -158,12 +158,13 @@ } #editor_controls small.saving-message { - float: left; color: #ccc; font-family: inherit; font-size: 90%; padding: 13px 0 13px 17px; overflow: hidden; + display: inline-block; + padding: 13px 0 0 17px; } #editor_overlay{ |