The default silver and green themes didn't, but it was fairly trivial to make something out of Cinnamon that someone watching you google something would go...wait, that's not 7, 8 or 10...