log _includes/navigation.html @ 108:511a17f9f8a5 default tip

age author description
Wed, 19 Jun 2024 04:54:19 -0400 Paper navigation: fix navbar implementation