diff --git a/web/dart/navbar.dart b/web/dart/navbar.dart index 9f9822e..b32d299 100644 --- a/web/dart/navbar.dart +++ b/web/dart/navbar.dart @@ -1,11 +1,6 @@ import 'dart:html'; -import './parse_sitemap.dart' show parseSitemap; - -// Returns the title of the current webpage -String getPageTitle() { - return querySelector('title').text; -} +String getPageTitle() => querySelector('title').text; Element makeIcon(List classes, [String id]) { final icon = Element.tag('i')..classes.addAll(classes);