Fixes Documentation.html indentions

The http://packages.ubuntu.com/markdown from the OpenRA build server does not understand http://github.github.com/github-flavored-markdown/ so it has to use extra tabs to define the code area properly