Commit graph

4 commits

Author SHA1 Message Date
Paulo Reis
465de8701b Use a different strategy to achieve rounded buttons (less impact on other elements). 2017-09-25 16:56:22 +01:00
Paulo Reis
66654e4a14 Customize buttons; make button borders configurable. 2017-09-25 15:40:44 +01:00
James Allen
4f05926113 Get project page mostly styled 2014-06-06 17:47:52 +01:00
James Allen
43684fda3a Move to bootstrap 3 (site barely functional) 2014-06-04 16:14:35 +01:00