Extension:NamespaceCSS

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