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