Quote Originally Posted by ransolot View Post
So the "theme" portion of this is just a new font for headings in the reference manual?
yes.