updated html - made basic theme name original

(undocumented jenkins.css/.js not to be used if you expect them to
remain stable)
added more coming note