Convert the manual to the new theme syntax. As a result, adds the viewport colour...