michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Added agda.scss

Browse source
This commit is contained in:
Wen Kokke 2018-05-26 18:33:19 +01:00
parent 01390f29c5
commit 5b0c946f0b
1 changed files with 55 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

55
_sass/agda.scss Normal file
View file

@ -0,0 +1,55 @@
// Define variables for code formatting
$code-font-family: Source Code Pro, Menlo, DejaVu Sans Mono, Bitstream Vera Sans Mono, Consolas, Monaco, Lucida Console, Liberation Mono, Courier New, monospace, serif;
/* Code. */
.highlight {
font-family: $code-font-family;
}
/* Agda. */
.Agda {
padding: .4em .4em;
background: #e8f2fb;
border: 1px solid #c9e1f6;
border-radius: 3px;
font-family: $code-font-family;
font-size: .85em; }
.Spec {
border: 1px dashed hsl(208,71%,71%) !important;
}
/* Aspects. */
.Comment { color: #B22222 }
.Keyword { color: #CD6600 }
.String { color: #B22222 }
.Number { color: #A020F0 }
.Symbol { color: #404040 }
.PrimitiveType { color: #0000CD }
.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 }
/* 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 }
/* Standard attributes. */
.Agda a { text-decoration: none }
.Agda a[href]:hover { background-color: #B4EEB4 }