Matthias Metelka c1176a2e6c Fix custom webview scrollbar not showing (#2085) ... * Fix custom scrollbar not showing * Move body selector out of scrollbar mixin * Apply custom scrollbar to child elements too * Remove some duplicate definitions * Run prettier		2022-09-26 09:13:06 +10:00
..
css	Fix custom webview scrollbar not showing (#2085)	2022-09-26 09:13:06 +10:00
imgs	Fix issue 1362 and add a default favicon.ico (#1369)	2021-11-23 12:18:32 +10:00
js	Use same config for editor and reviewer Mathjax (#1865)	2022-05-13 13:23:35 +10:00
pages	Plaintext import/export (#1850)	2022-06-01 20:26:16 +10:00
.prettierrc	Plaintext import/export (#1850)	2022-06-01 20:26:16 +10:00
BUILD.bazel