Sören Weber 7a92d032e5

syntaxhighlight: allow for wrapping #569 ...

- currently the only option until #169 is implemented
- also mandatory for printing

2023-06-16 21:13:59 +02:00

..

css

syntaxhighlight: allow for wrapping #569

2023-06-16 21:13:59 +02:00

fonts

theme: remove font Novacento #83

2021-11-03 19:52:55 +01:00

js

syntaxhighlight: allow for wrapping #569

2023-06-16 21:13:59 +02:00

webfonts

theme: revert fontawsome to version 5 for IE11 compat #191

2022-02-23 12:40:16 +01:00