ref: 434e6a43cfa58ab88f91236fb9a9e915e644026f
dir: /osx-help.but/
\# 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> }