Permalink
Switch branches/tags
Commits on Mar 13, 2017
  1. set default font size

    marianoguerra committed Oct 24, 2016
  2. update flipmenu icons

    marianoguerra committed Oct 22, 2016
  3. add progressive enhanced syntax highlighter

    marianoguerra committed Oct 21, 2016
    it loads a script at the end of the page that loads the required
    resources and initializes the syntax highlighter.
    
    if js is disabled or blocked nothing happens, the code blocks will
    display with the style they had until now