ref: 9c7d5576c074bd7b9d0fe8a249df31da2df31c9e
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>
}