4 Commits

Include renames

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