diff --git a/web/dart/navbar.dart b/web/dart/navbar.dart
index 265d5c3..c23afbd 100644
--- a/web/dart/navbar.dart
+++ b/web/dart/navbar.dart
@@ -7,27 +7,27 @@ final icons = {
'pages': SvgElement.svg(''),
- 'toc': SvgElement.svg( ''),
+ 'toc': SvgElement.svg(''),
- 'share': SvgElement.svg( ''),
+ 'share': SvgElement.svg(''),
- 'twitter': SvgElement.svg( ''),
+ 'twitter': SvgElement.svg(''),
- 'reddit': SvgElement.svg( ''),
+ 'reddit': SvgElement.svg(''),
- 'email': SvgElement.svg( ''),
+ 'email': SvgElement.svg(''),
- 'linkedin': SvgElement.svg( ''),
+ 'linkedin': SvgElement.svg(''),
- 'facebook': SvgElement.svg( ''),
+ 'facebook': SvgElement.svg(''),
- 'theme': SvgElement.svg( ''),
+ 'theme': SvgElement.svg(''),
- 'sun': SvgElement.svg( ''),
+ 'sun': SvgElement.svg(''),
- 'lightbulb': SvgElement.svg( ''),
+ 'lightbulb': SvgElement.svg(''),
- 'moon': SvgElement.svg( ''),
+ 'moon': SvgElement.svg(''),
};
String getPageTitle() => querySelector('title').text;