Restoring accidentally deleted files.

Fix some indentation issues.
Restore color of navigation links and correct padding.