[ADD] doc: new theme

Pretty much completely rewritten theme with custom HTML translator and a few parts of the old theme extracted to their own extensions. Banner images thought not to be that huge after all, and not worth the hassle of them living in a different repository. co-authored with @stefanorigano
2015-07-07 11:22:50 +02:00
parent b4efb4eeb3
commit 95e56a109d
256 changed files with 15943 additions and 12473 deletions
@@ -1,3 +1,5 @@
+:banner: banners/javascript.jpg
+
 .. highlight:: javascript

 .. default-domain:: js