Extension:NamespaceCSS

Use different CSS styles for different namespaces. It is very useful to distinct different manuals for example.