kovacsv 4c7602a9d8 Modify sidebar width.		2021-11-07 17:45:37 +01:00
..
css	Modify sidebar width.	2021-11-07 17:45:37 +01:00
js	Fine-tune panel set size and scroll behavior.	2021-11-07 17:35:29 +01:00