Jaco Greeff 0b63f9e7fe Additional tiny style enhancements (#13) ... * Additional tiny style enhancements * Simplify overall padding (no bottom)		2019-05-21 14:36:46 +02:00
..
extension	Additional tiny style enhancements (#13)	2019-05-21 14:36:46 +02:00
extension-ui	Adjust some styling (#12)	2019-05-21 13:47:43 +02:00