[CompSci87]

It turns out the logo *was* slightly the wrong color, due to some errant gamma correction.

I've done a quick fix to correct the color, but there is now a minor font issue that Yvonne or I might correct later. See if you can spot it.

Also, the favicon needs some work. The new one ("C" in a squarish talk balloon) is still in the slightly wrong color.

Besides that, I still see either the old favicon or a generic T in a red circle on some of my devices, but that may be some browser issue with the favicon being cached when it shouldn't be. Edit: In fact it's a well known issue discussed in places like https://stackoverflow.com/questions/2208...on-refresh.

[CompSci87]

It turns out the logo *was* slightly the wrong color, due to some errant gamma correction.

I've done a quick fix to correct the color, but there is now a minor font issue that Yvonne or I might correct later. See if you can spot it.

Also, the favicon needs some work. The new one ("C" in a squarish talk balloon) is still in the slightly wrong color.

Besides that, I still see either the old favicon or a generic T in a red circle on some of my devices, but that may be some browser issue with the favicon being cached when it shouldn't be. Edit: In fact it's a well known issue discussed in places like https://stackoverflow.com/questions/2208...on-refresh.