Merge pull request #42 from oscarlevin/theme

update theme

Author: StevenClontz

publication/publication.ptx

@@ -104,7 +104,7 @@
     <!-- @colors now implemented                               -->
     <!-- also @knowls, @toc, and @banner, although no          -->
     <!-- alternative styles exist yet for those.               -->
-    <css style="default" colors="blue_red" toc="crc" banner="crc" navbar="crc" shell="crc" />
+    <css theme="denver" palette="leaves"/>
     <!-- Search can be default or none, or you can use a Google-cx number to use google's search
     feature (but then variant should be set to none to avoid conflict) -->
     <search variant="default" />