MS Windows does not distinguish upper/lower case filenames
Bug fix & html tidy

fixes bug #1236995 which necessitates CSS changes. Also restructure
module