osx-help.but

   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 }