Sören Weber d23058e369

theme: fix display of tooltip for heading anchor #241 ...

broken in #224

2022-05-23 14:24:41 +02:00

..

css

theme: fix display of tooltip for heading anchor #241

2022-05-23 14:24:41 +02:00

fonts

theme: remove font Novacento #83

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

images

theme: support for dark mode #175

2022-02-11 00:59:40 +01:00

js

variant: DRY Relearn variants #239

2022-05-22 23:55:26 +02:00

webfonts

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

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