Resolve "Make menu in sidebars have the same style as webtools"

Konstantinos Platisrequested to merge
26-make-menu-in-sidebars-have-the-same-style-as-webtools into master

Closes #26 (closed)

Edited by Konstantinos Platis

Merge request reports