Skip to content
Snippets Groups Projects
  1. Aug 29, 2010
  2. Aug 28, 2010
  3. Aug 27, 2010
  4. Aug 26, 2010
  5. Aug 08, 2010
  6. Aug 25, 2010
  7. Aug 21, 2010
  8. Aug 04, 2010
  9. Aug 20, 2010
  10. Aug 18, 2010
  11. Aug 17, 2010
  12. Aug 16, 2010
  13. Aug 14, 2010
    • Mark Lentczner's avatar
      build style menu in javascript · 99313620
      Mark Lentczner authored
      	moved to javascript, so as to not polute the content with the style menu
      	removed menu building code in Themes.hs
      	removed onclick in Utils.hs
      changed text of button in header from "Source code" to "Source"
      	more consistent with links in rest of page
      99313620
  14. Aug 13, 2010
  15. Aug 12, 2010
    • Mark Lentczner's avatar
      width and font changes · 4aa338d0
      Mark Lentczner authored
      	removed the max width restrictions on the page as a whole and the synopsis
      	made the main font size smaller (nominally 14pt) and then tweaked most
      	font sizes (relative) to be more consistent
      4aa338d0
  16. Aug 11, 2010
  17. Jul 30, 2010
Loading