diff -r 7a96bd401351 -r a784c102bbed tex/color-buttons.png Binary file tex/color-buttons.png has changed