Update for Wattsi changes

Author: domenic

dev/styles.css

@@ -269,11 +269,6 @@ var > var::after {
 }
 
 
-/* TODO: Wattsi should omit these */
-pre.idl {
-  display: none;
-}
-
 /* SPECIFIC ELEMENTS */
 /* Header */
 
@@ -321,11 +316,6 @@ body > nav {
   margin: 2em 0;
 }
 
-/* TODO: Wattsi should omit these */
-h2#contents, ol.brief.toc {
-  display: none;
-}
-
 ol.toc a:link {
   border-bottom: 1px solid #bbb;
 }
@@ -347,41 +337,35 @@ ol.toc .secno {
   color: #888888;
 }
 
-/*
-  TODO we distinguish between index and not by h2 + .toc vs. nav + .toc on index, which is silly.
-  Instead we should get a dedicated class for the index file, and also Wattsi should omit the
-  things we are `display: none`ing.
-*/
-
-h2 + ol.toc li {
+body.index ol.toc li {
   position: relative;
 }
 
-h2 + ol.toc li .secno {
+body.index ol.toc li .secno {
   position: absolute;
   left: -1.7em;
 }
 
-h2 + ol.toc li li {
+body.index ol.toc li li {
   margin-left: 1.6em;
 }
 
-h2 + ol.toc li li .secno {
+body.index ol.toc li li .secno {
   left: -1.7em;
 }
 
-h2 + ol.toc li li a {
+body.index ol.toc li li a {
   margin-left: 1em;
 }
 
-h2 + ol.toc li ol ol {
+body.index ol.toc li ol ol {
   display: none;
 }
 
-nav + .toc li {
+body:not(.index) ol.toc li {
   margin-bottom: 0.2em;
 }
-nav + .toc ol {
+body:not(.index) ol.toc ol {
   margin: 0;
 }
 

source

@@ -256,12 +256,10 @@
 
   <hr w-nodev w-nosplit>
 
-  <div w-nodev w-nosplit id="configUI"></div>
-
   <h2 class="no-num no-toc" w-nosplit>Table of contents</h2>
   <!--smalltoc-->
 
-  <h2 class="no-num no-toc" id="contents" w-nosplit>Full table of contents</h2>
+  <h2 class="no-num no-toc" id="contents" w-nosplit w-nodev>Full table of contents</h2>
   <!--toc-->
 
   <!--