Use GitHub pages highlight theme