Extension:NamespaceCSS

NamespaceCSS allows users to use different CSS styles for different namespaces. It is very useful for distinguishing different manuals for example.