PublicDNS: use different name space in CSS.

I honestly don't know if this is the correct minimal namespace or if
other restyling may be required.