steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Increased font size in help header path

db4
nicolas-p 2015-07-22 19:57:23 +02:00 committed by John Benediktsson
parent d3b27e44b4
commit faa2ad6d60
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/help/stylesheet/stylesheet.factor
View File

@ -40,7 +40,7 @@ H{
SYMBOL: help-path-style SYMBOL: help-path-style
H{ H{
{ font-size 10 } { font-size 12 }
{ table-gap { 5 5 } } { table-gap { 5 5 } }
{ table-border COLOR: FactorLightTan } { table-border COLOR: FactorLightTan }
} help-path-style set-global } help-path-style set-global