Increased font size in help header path

diff --git a/basis/help/stylesheet/stylesheet.factor b/basis/help/stylesheet/stylesheet.factor
index 0393b3cf112cf43ced443f486fc39401b31333d8..8b29c74ad6ca3058a41c2b10a8fcfa99bb5db1dc 100644 (file)
--- a/basis/help/stylesheet/stylesheet.factor
+++ b/basis/help/stylesheet/stylesheet.factor
@@ -40,7 +40,7 @@ H{
 
 SYMBOL: help-path-style
 H{
-    { font-size 10 }
+    { font-size 12 }
     { table-gap { 5 5 } }
     { table-border COLOR: FactorLightTan }
 } help-path-style set-global