Twitter Bootstrap, Google Web Font and Github octicons

Change-Id: I5c3e9d1718425bda51babe50e39572a0da7fc96e
Support request.user and user in base.html

Change-Id: Iaf3ca11019ecde67104b07ed1bd909a05387fda6
Use Ubuntu Mono with font-weights 400 and 700

Change-Id: Ib2c9eb4d960b2d258ff060485778f7ae9af21889
Changed the weight of Open Sans bold font to 700

Change-Id: Id8dbcc33f6413d7a23230584b675df1e31694060
Removed the search form

Change-Id: Id99aff159f82ad8f9a3ab2b888ab0ce6f67b1e90
Add links to OpenID login and log out

Change-Id: I162dbdcfa68f051ce221896479f931fefed99675
Make Responsive Bootstrap an opt-in thing

Change-Id: I8ea9e4409defe0c386b5f53574d728c524c87bfb