Change doc HTML theme

Welcome to 2004!