Leo Lamprecht 647d024a39 Centered traffic lights & disabled text selection for indicator (#36) ... * Disallow text selection within indicator * Fix size of menu * More spacing within text element * Make traffic lights inset		2016-07-08 06:03:40 -07:00
..
hyperterm.css	Centered traffic lights & disabled text selection for indicator (#36)	2016-07-08 06:03:40 -07:00
tabs.css	Centered traffic lights & disabled text selection for indicator (#36)	2016-07-08 06:03:40 -07:00