added pages theme code to /docs on repo on git.soton otherwise the mirror to github over-writes it. NO CONTENT changed on github is preserved when we mirror OUT from git.soton