Doc theme tweak