A repo for the Grey style for AoPS blogs.