Marek Pikuła 89597da9a8 Fix navbar separator on mobile sizes ...

Before, the separator stayed as vertical line in mobile orientation.
Now, it's replaced with dropdown separator (i.e., horizontal line).

Signed-off-by: Marek Pikuła <[email protected]>

2024-06-07 14:04:02 +02:00

..

head

Added ability to customize head

2023-12-21 11:48:54 +01:00

sections

Fix navbar separator on mobile sizes

2024-06-07 14:04:02 +02:00

head.html

Merge pull request #143 from aniketbhatnagar/feature/head-extensions

2024-03-09 18:31:53 +05:30

scripts.html

Allow mathjax to be set globally

2023-10-29 21:02:46 +01:00