Expand description

Tidy check to make sure light and dark themes are synchronized between JS-controlled rustdoc.css and noscript.css

Functions