diff options
Diffstat (limited to 'apps/plugins/puzzles/osx-help.but')
| -rw-r--r-- | apps/plugins/puzzles/osx-help.but | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/apps/plugins/puzzles/osx-help.but b/apps/plugins/puzzles/osx-help.but new file mode 100644 index 0000000..fa45996 --- /dev/null +++ b/apps/plugins/puzzles/osx-help.but @@ -0,0 +1,14 @@ +\# Additional Halibut fragment to set up the HTML output +\# appropriately for MacOS online help. + +\cfg{html-head-end}{ +<style type="text/css"> +body \{ font-family: "Lucida Grande", Helvetica, Arial; font-size: 9pt \} +h1 \{ font-size: 12pt \} +h2 \{ font-size: 10pt \} +h3 \{ font-size: 9pt \} +h4 \{ font-size: 9pt \} +h5 \{ font-size: 9pt \} +h6 \{ font-size: 9pt \} +</style> +} |