more formatting tweaks for developer.piwik.org