From cce39e36e9874cb319df0534f3937efd1bcf8b02 Mon Sep 17 00:00:00 2001 From: Amir Dekel <6893125+adql@users.noreply.github.com> Date: Fri, 3 May 2024 08:49:56 +0200 Subject: [PATCH 1/2] Prevent color change of visited definitions in code blocks --- web/sass/theme/agda-dark.scss | 1 + web/sass/theme/agda.scss | 1 + 2 files changed, 2 insertions(+) diff --git a/web/sass/theme/agda-dark.scss b/web/sass/theme/agda-dark.scss index 3eb4c1ea3..732cf9c31 100644 --- a/web/sass/theme/agda-dark.scss +++ b/web/sass/theme/agda-dark.scss @@ -68,3 +68,4 @@ pre.Spec { /* Standard attributes. */ .Agda a { text-decoration: none } .Agda a[href]:hover { background-color: #377037 } +.Agda a:visited { color: transparent } diff --git a/web/sass/theme/agda.scss b/web/sass/theme/agda.scss index c6639f633..6e160cc95 100644 --- a/web/sass/theme/agda.scss +++ b/web/sass/theme/agda.scss @@ -68,3 +68,4 @@ pre.Spec { /* Standard attributes. */ .Agda a { text-decoration: none } .Agda a[href]:hover { background-color: #B4EEB4 } +.Agda a:visited { color: transparent } From c3180541d9f2298aec24b29e58f5a896cce12a43 Mon Sep 17 00:00:00 2001 From: Amir Dekel <6893125+adql@users.noreply.github.com> Date: Fri, 3 May 2024 17:25:21 +0200 Subject: [PATCH 2/2] Add .Agda class to increase specificity of highlighting selectors --- web/sass/theme/agda-dark.scss | 49 +++++++++++++++++------------------ web/sass/theme/agda.scss | 49 +++++++++++++++++------------------ 2 files changed, 48 insertions(+), 50 deletions(-) diff --git a/web/sass/theme/agda-dark.scss b/web/sass/theme/agda-dark.scss index 732cf9c31..ed5d06a3a 100644 --- a/web/sass/theme/agda-dark.scss +++ b/web/sass/theme/agda-dark.scss @@ -36,36 +36,35 @@ 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 } .Agda a[href]:hover { background-color: #377037 } -.Agda a:visited { color: transparent } diff --git a/web/sass/theme/agda.scss b/web/sass/theme/agda.scss index 6e160cc95..2dbac6d2e 100644 --- a/web/sass/theme/agda.scss +++ b/web/sass/theme/agda.scss @@ -36,36 +36,35 @@ 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 } .Agda a[href]:hover { background-color: #B4EEB4 } -.Agda a:visited { color: transparent }