Changed default theme a little and restored the old TOC
Worked on a small fix for the php-markdown support