The three css files moved were not used by the default template. I only
had them there so the prettyPrintSource plugin would work. Since plugins
can use templates without ruining everything I've moved the css files to
their proper place and copy them over in
templates\prettyPrintSource\publish.js This makes it possible to enable
the plugin and get the same results with any template. Now all I need to
figure out is how to inject links to the generated pages into the
docs...
