Bruno Windels 3331a29ac5 put sizing of right panel in RightPanel style file, plus min-width		2018-10-11 15:42:45 +02:00
..
css	put sizing of right panel in RightPanel style file, plus min-width	2018-10-11 15:42:45 +02:00
fonts	…
img	Merge branch 'develop' into bwindels/redesign	2018-09-21 12:44:44 +02:00
media	…
themes	fix style changes after merging in develop	2018-09-21 13:27:00 +02:00