Actually you mistaken with anti aliasing here - AA is taking middle color. Between red and white it would be lighter red (pink), not darker. just change dark red pixels to light red and see the difference.
Want to give some dough back to all those amazing pixel artists? Donations provide prize money for contests, help cover hosting costs and support new initiatives.