Sören Weber b5d8b1cc31

topbar: improve discovering links on keyboard navigation #726 ...

the toc was navigatable by pressing <TAB> although the flyout was closed

2023-11-19 00:35:49 +01:00

..

css

topbar: improve discovering links on keyboard navigation #726

2023-11-19 00:35:49 +01:00

fonts

theme: remove font Novacento #83

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

js

mermaid: fix zoom button #725

2023-11-18 23:19:35 +01:00

webfonts

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

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