osx-help.but 374 B

123456789101112131415
  1. \# Additional Halibut fragment to set up the HTML output
  2. \# appropriately for MacOS online help.
  3. \cfg{html-head-end}{
  4. <style type="text/css">
  5. body \{ font-family: "Lucida Grande", Helvetica, Arial; font-size: 9pt \}
  6. h1 \{ font-size: 12pt \}
  7. h2 \{ font-size: 10pt \}
  8. h3 \{ font-size: 9pt \}
  9. h4 \{ font-size: 9pt \}
  10. h5 \{ font-size: 9pt \}
  11. h6 \{ font-size: 9pt \}
  12. </style>
  13. }