Revision f1c9887903a6cc3acaa55c4f253895c3d629c0d1

Committed on 21/02/2012 3:29 am by Florian Peter <[email protected]> [GitHub Diff]

Frontend login, markup optimization for header.