2 commits

Author	SHA1	Message	Date
Andreas Gohr	0cdca1153e	some more list adjustments for sidebar	2017-02-16 15:54:29 +01:00
Andreas Gohr	83e6372c7d	some style adjustments for the sidebar ... There is no need to differentiate between site tools and the navigation anymore. Instead now it's differentiated between the navigation tools and the displayed content.	2017-02-16 15:10:50 +01:00