Changeset 75805

Timestamp:

Dec 4, 2011, 5:12:14 PM (11 years ago)

Author:

Daniel James

Message:

Website: Keep the css for hiding the heading menu.

While it was removed from most pages, it still remains in some the static
pages, such as the pages used to overwrite errors in the documentation.

(No files)