diff --git a/docs/Agda.css b/docs/Agda.css
index 5da9bd8..b2e7200 100644
--- a/docs/Agda.css
+++ b/docs/Agda.css
@@ -1,147 +1,54 @@
-/* Aspects. */
-.Agda .Comment {
-    color: #B22222
-}
-
-.Agda .Background {
-}
-
-.Agda .Markup {
-    color: #000000
-}
-
-.Agda .Keyword {
-    color: #CD6600
-}
-
-.Agda .String {
-    color: #B22222
-}
-
-.Agda .Number {
-    color: #A020F0
-}
-
-.Agda .Symbol {
-    color: #404040
-}
-
-.Agda .PrimitiveType {
-    color: #0000CD
-}
-
-.Agda .Pragma {
-    color: black
+:root {
+  --background: #080709;
+  --foreground: #56176d;
+  --comment: #5AAAEB;
+  --constant: #C55BEB;
+  --literal: #8E50E6;
+  --keyword: #5073E6;
 }
 
-.Agda .Operator {
-}
-
-.Agda .Hole {
-    background: #B4EEB4
-}
+/* Aspects. */
+.Agda .Comment       { color: var(--comment) }
+.Agda .Background    { }
+.Agda .Markup        { }
+.Agda .Keyword       { color: var(--keyword); font-weight: bold }
+.Agda .String        { color: var(--literal) }
+.Agda .Number        { color: var(--literal) }
+.Agda .Symbol        { color: var(--foreground) }
+.Agda .PrimitiveType { color: var(--constant) }
+.Agda .Pragma        { color: var(--foreground)   }
+.Agda .Operator      {}
+.Agda .Hole          { background: #076969 }
 
 /* NameKinds. */
-.Agda .Bound {
-    color: black
-}
-
-.Agda .Generalizable {
-    color: black
-}
-
-.Agda .InductiveConstructor {
-    color: #008B00
-}
-
-.Agda .CoinductiveConstructor {
-    color: #8B7500
-}
-
-.Agda .Datatype {
-    color: #0000CD
-}
-
-.Agda .Field {
-    color: #EE1289
-}
-
-.Agda .Function {
-    color: #0000CD
-}
-
-.Agda .Module {
-    color: #A020F0
-}
-
-.Agda .Postulate {
-    color: #0000CD
-}
-
-.Agda .Primitive {
-    color: #0000CD
-}
-
-.Agda .Record {
-    color: #0000CD
-}
+.Agda .Bound                  { color: var(--foreground)   }
+.Agda .Generalizable          { color: var(--foreground)   }
+.Agda .InductiveConstructor   { color: var(--literal) }
+.Agda .CoinductiveConstructor { color: var(--literal) }
+.Agda .Datatype               { color: var(--constant) }
+.Agda .Field                  { color: var(--constant) }
+.Agda .Function               { color: var(--constant) }
+.Agda .Module                 { color: var(--literal) }
+.Agda .Postulate              { color: var(--constant) }
+.Agda .Primitive              { color: var(--constant) }
+.Agda .Record                 { color: var(--constant) }
 
 /* OtherAspects. */
-.Agda .DottedPattern {
-}
-
-.Agda .UnsolvedMeta {
-    color: black;
-    background: yellow
-}
-
-.Agda .UnsolvedConstraint {
-    color: black;
-    background: yellow
-}
-
-.Agda .TerminationProblem {
-    color: black;
-    background: #FFA07A
-}
-
-.Agda .IncompletePattern {
-    color: black;
-    background: #F5DEB3
-}
-
-.Agda .Error {
-    color: red;
-    text-decoration: underline
-}
-
-.Agda .TypeChecks {
-    color: black;
-    background: #ADD8E6
-}
-
-.Agda .Deadcode {
-    color: black;
-    background: #808080
-}
-
-.Agda .ShadowingInTelescope {
-    color: black;
-    background: #808080
-}
+.Agda .DottedPattern        {}
+.Agda .UnsolvedMeta         { color: var(--foreground); background: #bc00ff         }
+.Agda .UnsolvedConstraint   { color: var(--foreground); background: #dc00ff         }
+.Agda .TerminationProblem   { color: var(--foreground); background: #FFA07A        }
+.Agda .IncompletePattern    { color: var(--foreground); background: #F5DEB3        }
+.Agda .Error                { color: red;   text-decoration: underline }
+.Agda .TypeChecks           { color: var(--foreground); background: #ADD8E6        }
+.Agda .Deadcode             { color: var(--foreground); background: #808080        }
+.Agda .ShadowingInTelescope { color: var(--foreground); background: #808080        }
 
 /* Standard attributes. */
-.Agda a {
-    text-decoration: none
-}
-
-.Agda a[href]:hover {
-    background-color: #B4EEB4
-}
+.Agda a { text-decoration: none }
+.Agda a[href]:hover { background-color: #000; }
+.Agda [href].hover-highlight { background-color: #444; }
 
-.Agda [href].hover-highlight {
-    background-color: #B4EEB4;
-}
 
 @import url(http://fonts.googleapis.com/css?family=Inconsolata);@import url(http://fonts.googleapis.com/css?family=PT+Sans);@import url(http://fonts.googleapis.com/css?family=PT+Sans+Narrow:400,700);article,aside,details,figcaption,figure,footer,header,hgroup,nav,section,summary {
     display: block
@@ -195,7 +102,7 @@ dfn {
 }
 
 mark {
-    background: #ff0;
+    background: #d98bff;
     color: #000
 }
 
@@ -319,13 +226,13 @@ h1,h2,h3,h4,h5,h6 {
 }
 
 html {
-    background-color: #eee8d5;
+    background-color: #e9d5ee;
     color: #657b83;
     margin: 1em
 }
 
 body {
-    background-color: #fdf6e3;
+    background-color: #e9e3fd;
     margin: 0 auto;
     max-width: 23cm;
     border: 1pt solid #93a1a1;
@@ -333,12 +240,12 @@ body {
 }
 
 code {
-    background-color: #eee8d5;
+    background-color: #edd5ee;
     padding: 2px
 }
 
 a {
-    color: #b58900
+    color: #b500b2
 }
 
 a:visited {
@@ -358,11 +265,10 @@ h2,h3,h4,h5,h6 {
 }
 
 pre {
-    background-color: #fdf6e3;
+    background-color: #ffe6fd;
     color: #657b83;
     border: 1pt solid #93a1a1;
     padding: 1em;
-    box-shadow: 5pt 5pt 8pt #eee8d5
 }
 
 pre code {
@@ -394,13 +300,13 @@ h6 {
 }
 
 .tag {
-    background-color: #eee8d5;
+    background-color: #ecd5ee;
     color: #d33682;
     padding: 0 .2em
 }
 
 .todo,.next,.done {
-    color: #fdf6e3;
+    color: #f7e3fd;
     background-color: #dc322f;
     padding: 0 .2em
 }
@@ -457,12 +363,12 @@ h6 {
     -webkit-border-radius: .2em;
     -moz-border-radius: .2em;
     border-radius: .2em;
-    background-color: #d33682
+    background-color: #e7b2cc
 }
 
 .CANCELLED {
     -webkit-border-radius: .2em;
     -moz-border-radius: .2em;
     border-radius: .2em;
-    background-color: #859900
+    background-color: #650099
 }