diff options
author | Joakim Reinert <mail@jreinert.com> | 2015-04-18 18:58:11 +0200 |
---|---|---|
committer | Florian Pritz <bluewind@xinu.at> | 2015-05-05 12:21:26 +0200 |
commit | 01581b3db2b617a5cf12ef7cf363b982dfc91d7b (patch) | |
tree | b59b9e0ceeb38989dd41d2bfaee61669b38a832e /data/css | |
parent | 369cd25a3dca4b54a3a8a332a11a55f7034f12c6 (diff) |
Add functionality for choosing tab width in frontend
Diffstat (limited to 'data/css')
-rw-r--r-- | data/css/style.css | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/data/css/style.css b/data/css/style.css index 4af58e9c4..f59344f6f 100644 --- a/data/css/style.css +++ b/data/css/style.css @@ -322,6 +322,13 @@ body { opacity: 0.4; } +.tabwidth-dropdown { padding: 15px; } +input[type="number"]::-webkit-outer-spin-button, +input[type="number"]::-webkit-inner-spin-button { + -webkit-appearance: none; + margin: 0; +} +input[type="number"] { -moz-appearance: textfield; } /* highlighting theme */ .hll { background-color: #ffffcc } |