diff --git a/web/sass/theme/agda-dark.scss b/web/sass/theme/agda-dark.scss
index 695b7b691..391b98501 100644
--- a/web/sass/theme/agda-dark.scss
+++ b/web/sass/theme/agda-dark.scss
@@ -36,34 +36,34 @@ pre.Spec {
 }
 
 /* Aspects. */
-.Comment       { color: #b64343 }
-.Keyword       { color: #ce8133 }
-.String        { color: #B22222 }
-.Number        { color: #b051eb }
-.Symbol        { color: #8b8b8b }
-.PrimitiveType { color: #4343ca }
-// .Operator      {}
+.Agda .Comment       { color: #b64343 }
+.Agda .Keyword       { color: #ce8133 }
+.Agda .String        { color: #B22222 }
+.Agda .Number        { color: #b051eb }
+.Agda .Symbol        { color: #8b8b8b }
+.Agda .PrimitiveType { color: #4343ca }
+// .Agda .Operator      {}
 
 /* NameKinds. */
-.Bound                  { color: #bbbbbb }
-.InductiveConstructor   { color: #3a833a }
-.CoinductiveConstructor { color: #8B7500 }
-.Datatype               { color: #4343ca }
-.Field                  { color: #EE1289 }
-.Function               { color: #4343ca }
-.Module                 { color: #b051eb }
-.Postulate              { color: #4343ca }
-.Primitive              { color: #4343ca }
-.Record                 { color: #4343ca }
+.Agda .Bound                  { color: #bbbbbb }
+.Agda .InductiveConstructor   { color: #3a833a }
+.Agda .CoinductiveConstructor { color: #8B7500 }
+.Agda .Datatype               { color: #4343ca }
+.Agda .Field                  { color: #EE1289 }
+.Agda .Function               { color: #4343ca }
+.Agda .Module                 { color: #b051eb }
+.Agda .Postulate              { color: #4343ca }
+.Agda .Primitive              { color: #4343ca }
+.Agda .Record                 { color: #4343ca }
 
 /* OtherAspects. */
-// .DottedPattern      {}
-.UnsolvedMeta       { color: #bbbbbb; background: yellow         }
-.UnsolvedConstraint { color: #bbbbbb; background: yellow         }
-.TerminationProblem { color: #bbbbbb; background: #FFA07A        }
-.IncompletePattern  { color: #bbbbbb; background: #F5DEB3        }
-.Error              { color: #B22222;   text-decoration: underline }
-.TypeChecks         { color: #bbbbbb; background: #ADD8E6        }
+// .Agda .DottedPattern      {}
+.Agda .UnsolvedMeta       { color: #bbbbbb; background: yellow         }
+.Agda .UnsolvedConstraint { color: #bbbbbb; background: yellow         }
+.Agda .TerminationProblem { color: #bbbbbb; background: #FFA07A        }
+.Agda .IncompletePattern  { color: #bbbbbb; background: #F5DEB3        }
+.Agda .Error              { color: #B22222;   text-decoration: underline }
+.Agda .TypeChecks         { color: #bbbbbb; background: #ADD8E6        }
 
 /* Standard attributes. */
 .Agda a { text-decoration: none }
diff --git a/web/sass/theme/agda.scss b/web/sass/theme/agda.scss
index c318f1d73..3a3d79162 100644
--- a/web/sass/theme/agda.scss
+++ b/web/sass/theme/agda.scss
@@ -36,34 +36,34 @@ pre.Spec {
 }
 
 /* Aspects. */
-.Comment       { color: #B22222 }
-.Keyword       { color: #CD6600 }
-.String        { color: #B22222 }
-.Number        { color: #A020F0 }
-.Symbol        { color: #404040 }
-.PrimitiveType { color: #0000CD }
-// .Operator      {}
+.Agda .Comment       { color: #B22222 }
+.Agda .Keyword       { color: #CD6600 }
+.Agda .String        { color: #B22222 }
+.Agda .Number        { color: #A020F0 }
+.Agda .Symbol        { color: #404040 }
+.Agda .PrimitiveType { color: #0000CD }
+// .Agda .Operator      {}
 
 /* NameKinds. */
-.Bound                  { color: black   }
-.InductiveConstructor   { color: #008B00 }
-.CoinductiveConstructor { color: #8B7500 }
-.Datatype               { color: #0000CD }
-.Field                  { color: #EE1289 }
-.Function               { color: #0000CD }
-.Module                 { color: #A020F0 }
-.Postulate              { color: #0000CD }
-.Primitive              { color: #0000CD }
-.Record                 { color: #0000CD }
+.Agda .Bound                  { 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 }
 
 /* OtherAspects. */
-// .DottedPattern      {}
-.UnsolvedMeta       { color: black; background: yellow         }
-.UnsolvedConstraint { color: black; background: yellow         }
-.TerminationProblem { color: black; background: #FFA07A        }
-.IncompletePattern  { color: black; background: #F5DEB3        }
-.Error              { color: red;   text-decoration: underline }
-.TypeChecks         { color: black; background: #ADD8E6        }
+// .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        }
 
 /* Standard attributes. */
 .Agda a { text-decoration: none }