Some modules were deleted for docheaders in stylesheet.css. Putting them back