This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
eclipse [2021/07/12 22:20] mstraub [Scroll bars hide content] |
eclipse [2021/07/12 22:27] (current) mstraub [Scroll bars too small] |
||
---|---|---|---|
Line 65: | Line 65: | ||
<code> | <code> | ||
- | .scrollbar.vertical slider, | + | .scrollbar.vertical slider, scrollbar.vertical slider { |
- | scrollbar.vertical slider { | + | min-width: 7px; |
- | min-width: 8px; | + | } |
+ | .scrollbar.horizontal slider, scrollbar.horizontal slider { | ||
+ | min-height: 7px; | ||
} | } | ||
</code> | </code> | ||
+ | |||
==== Autocompletion not working properly ===== | ==== Autocompletion not working properly ===== | ||