Daniel J. Ramirez a3c2d9a6bd Improvements and fixes for the default theme.
Added customizable border size and window highlight.
2017-07-16 13:23:59 -05:00
..
2017-06-08 23:48:14 -05:00
2017-06-25 10:41:12 +09:00