Paul Schneider b7cd19ef87 transitions for button colors

2017-06-09 23:19:01 +02:00

..

clear

[do not push this]

2017-03-15 07:09:48 +01:00

dark

[do not push this]

2017-03-15 07:09:48 +01:00

main

transitions for button colors

2017-06-09 23:19:01 +02:00