1. c81de8c Optimize and reduce size of PNG files by James Christopher Adduono · 9 years ago
  2. 5618952 gui: theme changes for terminal by z31s1g · 9 years ago
  3. 28f0a92 gui: stock theme rework by z31s1g · 9 years ago