help: fix some html navigation styles.
parent
81cbf71d27
commit
ace299b5c7
|
@ -110,11 +110,13 @@ M: word set-article-parent swap "help-parent" set-word-prop ;
|
||||||
[ prefix 1array ] dip prefix , ;
|
[ prefix 1array ] dip prefix , ;
|
||||||
|
|
||||||
: ($navigation-links) ( topic -- )
|
: ($navigation-links) ( topic -- )
|
||||||
|
help-path-style get [
|
||||||
[
|
[
|
||||||
[ prev-article [ 1array \ $long-link "Prev:" ($navigation-link) ] when* ]
|
[ prev-article [ 1array \ $long-link "Prev:" ($navigation-link) ] when* ]
|
||||||
[ next-article [ 1array \ $long-link "Next:" ($navigation-link) ] when* ]
|
[ next-article [ 1array \ $long-link "Next:" ($navigation-link) ] when* ]
|
||||||
bi
|
bi
|
||||||
] { } make [ ($navigation-table) ] unless-empty ;
|
] { } make [ ($navigation-table) ] unless-empty
|
||||||
|
] with-style ;
|
||||||
|
|
||||||
: $title ( topic -- )
|
: $title ( topic -- )
|
||||||
title-style get [
|
title-style get [
|
||||||
|
|
|
@ -90,7 +90,12 @@ M: pathname url-of
|
||||||
[ drop help-stylesheet ]
|
[ drop help-stylesheet ]
|
||||||
[
|
[
|
||||||
[ help-navbar ]
|
[ help-navbar ]
|
||||||
[ [ print-topic ] with-html-writer ]
|
[
|
||||||
|
[
|
||||||
|
title-style get
|
||||||
|
{ { page-color COLOR: FactorLightTan } } assoc-union
|
||||||
|
title-style [ print-topic ] with-variable
|
||||||
|
] with-html-writer ]
|
||||||
bi* append
|
bi* append
|
||||||
] tri
|
] tri
|
||||||
simple-page ;
|
simple-page ;
|
||||||
|
|
Loading…
Reference in New Issue