diff options
author | Wu Cheng-Han | 2016-12-04 00:56:14 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2016-12-04 00:56:14 +0800 |
commit | da46a3696bfe4b7f7194888fbd9627514bbda3a4 (patch) | |
tree | 4826f4a97bd5ba6f355b908cac3c410d55e1d6c8 /public/css | |
parent | 778b6f32b3e46c003f47b4b380cfd64aaff91a93 (diff) |
Add preferences to editor status bar and make allow override browser keymap option
Diffstat (limited to 'public/css')
-rw-r--r-- | public/css/index.css | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/public/css/index.css b/public/css/index.css index b8779774..b480a580 100644 --- a/public/css/index.css +++ b/public/css/index.css @@ -404,16 +404,28 @@ div[contenteditable]:empty:not(:focus):before{ .status-bar .status-indicators .status-keymap > a, .status-bar .status-indicators .status-theme > a, -.status-bar .status-indicators .status-spellcheck > a { +.status-bar .status-indicators .status-spellcheck > a, +.status-bar .status-indicators .status-preferences > a { color: inherit; text-decoration: none; } .status-bar .status-indicators .status-theme, -.status-bar .status-indicators .status-spellcheck { +.status-bar .status-indicators .status-spellcheck, +.status-bar .status-indicators .status-preferences { padding: 0 4.3px; } +.status-bar .status-indicators .status-preferences .dropdown-menu > li > a { + cursor: default; +} + +.status-bar .status-indicators .status-preferences .dropdown-menu label { + font: inherit; + margin-bottom: 0; + cursor: pointer; +} + .ui-theme-toggle, .ui-spellcheck-toggle { opacity: 0.2; |