On 2015-01-19 03:18, Andrei Alexandrescu wrote: > TL;DR: I've uploaded new menu colors at http://erdani.com/d/, this time > aiming for a more martian red ethos. Please let me know. I still like the original menu better. -- /Jacob Carlborg