sakaiproject/3akai-ux — pull request #2506 by bp323 (2012-12-04 11:33:59+00:00)
Title: Keep documentation navigation on top, fix header size in docs

https://github.com/sakaiproject/Hilary/issues/242