lvuch 3b2fc6ef24 fix nav color and placement of current section name in header

2020-06-05 10:51:27 -07:00

..

asciinema-player.css

docs: include asciicinema-player in site (collapsible admonition)

2020-05-15 14:26:53 +02:00

extra.css

fix nav color and placement of current section name in header

2020-06-05 10:51:27 -07:00