ui.tools.browser: change $navigation to not use title-style.

diff --git a/basis/ui/tools/browser/browser.factor b/basis/ui/tools/browser/browser.factor
index 5c92bad264fb0d095aa828536b0e8e8f1c8b4199..0e0c3943da7a51c8ebc5d098b561509e58398c8d 100644 (file)
--- a/basis/ui/tools/browser/browser.factor
+++ b/basis/ui/tools/browser/browser.factor
@@ -43,7 +43,7 @@ CONSTANT: next 1
 : $navigation-arrow ( content element direction -- )
     [ prefix 1array ] dip add-navigation-arrow , ;
 
-:: ($navigation) ( topic direction -- )
+:: $navigation ( topic direction -- )
     help-path-style get [
         topic [
             direction prev/next-article
@@ -51,17 +51,12 @@ CONSTANT: next 1
         ] { } make [ ($navigation-table) ] unless-empty
     ] with-style ;
 
-: $navigation ( topic direction -- )
-    title-style get [ ($navigation) ] with-style ;
-
 : $title ( topic -- )
-    title-style get clone page-color over delete-at dup
+    title-style get clone page-color over delete-at
     [
-        [
-            [ ($title) ]
-            [ ($navigation-path) ] bi
-        ] with-nesting
-    ] with-style ;
+        [ ($title) ]
+        [ ($navigation-path) ] bi
+    ] with-nesting ;
 
 : <help-header> ( browser-gadget -- gadget )
     model>> [ '[ _ $title ] try ] <pane-control> ;