diff docs/templates/default.html @ 1084:e135fd873c45

docs: Cosmetic improvements to the navigation bar.
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 15 Feb 2018 22:26:26 -0800
parents 94d7d5e38571
children
line wrap: on
line diff