Sören Weber b896794c80

highlight: remove additional newlines from code if copied from cursor selection #925

2024-10-11 16:16:28 +02:00

..

css

include: don't erroneously remove headings if hidefirstheading=true #914

2024-09-12 14:58:56 +02:00

fonts

theme: remove font Novacento #83

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

js

highlight: remove additional newlines from code if copied from cursor selection #925

2024-10-11 16:16:28 +02:00

webfonts

icon: update Font Awesome to 6.6.0 #881

2024-08-02 11:19:51 +02:00