Clean up some styles.

themes/vanilla/assets/scss/style.scss

@@ -45,6 +45,7 @@ pre code {
 
 div.highlight table {
     border: $code-border !important;
+    border-radius: 0px;
 
     pre {
         margin: 0;
@@ -73,7 +74,7 @@ div.highlight table {
   }
 
   @include below-one-margin {
-      position: initial;
+      left: 0;
   }
 }
 
@@ -82,8 +83,7 @@ div.highlight table {
   background-color: $primary-color;
   border: none;
   color: white;
-  transition: color 0.25s;
-  transition: background-color 0.25s;
+  transition: color 0.25s, background-color 0.25s;
   text-align: left;
 
   &:focus {

themes/vanilla/assets/scss/toc.scss

@@ -3,13 +3,6 @@
 
 $toc-color: $code-color;
 $toc-border-color: $code-border-color;
-$toc-float-max-width: 20rem;
-
-@mixin below-max-toc-width {
-    @media screen and (max-width: 2.5rem + 1.5 * $toc-float-max-width + 2 * $container-min-padding){
-        @content;
-    }
-}
 
 .table-of-contents {
     @include margin-content;
@@ -24,7 +17,7 @@ $toc-float-max-width: 20rem;
         font-weight: bold;
         font-size: 1.2em;
         display: block;
-        margin-bottom: 1rem;
+        margin-bottom: 0.5rem;
     }
 
     #TableOfContents > ul {
@@ -32,27 +25,17 @@ $toc-float-max-width: 20rem;
     }
 
     nav {
-        width: auto;
         margin: 0px;
     }
 
     ul {
-        position: relative;
         list-style: none;
         padding-left: 2rem;
         margin: 0px;
     }
 
-    li {
-        position: relative;
-    }
-
     a {
         padding: 0;
-        vertical-align: top;
-        overflow-x: hidden;
-        text-overflow: ellipsis;
-        max-width: 100%;
     }
 
     div.wrapper {