From faa2ad6d60a0011c03da605ca61a5695deff1037 Mon Sep 17 00:00:00 2001
From: nicolas-p <z.nicolas@gmail.com>
Date: Wed, 22 Jul 2015 19:57:23 +0200
Subject: [PATCH] Increased font size in help header path

---
 basis/help/stylesheet/stylesheet.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/basis/help/stylesheet/stylesheet.factor b/basis/help/stylesheet/stylesheet.factor
index 0393b3cf11..8b29c74ad6 100644
--- 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