Sören Weber 29be027dbf highlight: disable block code copy-to-clipboard button in print #574		2023-06-22 18:59:16 +02:00
..
css	highlight: disable block code copy-to-clipboard button in print #574	2023-06-22 18:59:16 +02:00
fonts	theme: remove font Novacento #83	2021-11-03 19:52:55 +01:00
js	highlight: add option for wrapping vs. scrolling #169	2023-06-22 01:22:08 +02:00
webfonts	theme: revert fontawsome to version 5 for IE11 compat #191	2022-02-23 12:40:16 +01:00