Skip to content
Snippets Groups Projects
  1. Nov 11, 2012
  2. Nov 10, 2012
  3. Oct 29, 2012
  4. Oct 28, 2012
  5. Oct 23, 2012
  6. Oct 22, 2012
  7. Oct 21, 2012
  8. Oct 20, 2012
  9. Oct 16, 2012
  10. Oct 13, 2012
  11. Oct 08, 2012
  12. Oct 07, 2012
  13. Oct 04, 2012
  14. Sep 30, 2012
  15. Sep 28, 2012
  16. Sep 27, 2012
    • Gary Murakami's avatar
      Changes to make PDF output match the browser view more closely · 73706ad0
      Gary Murakami authored
        font-size: 18pt; instead of fount-size: 22pt;
        remove the "a" tag from def that forces font size, otherwise anchors in various contexts, e.g., headings, etc., will cause ugly rendering due to mismatched font size.
         specify font size for "pre" tags so that code listings more closely match browser rendering
      73706ad0
Loading