/* This file is automatically generated; to change its contents
 you need to change scripts/generate_agda_css.py */
.mocha pre.Agda .Keyword {
  color: #cba6f7;
}

.coal pre.Agda .Keyword {
  color: #cba6f7;
}

.navy pre.Agda .Keyword {
  color: #cba6f7;
}

.ayu pre.Agda .Keyword {
  color: #cba6f7;
}

.mocha pre.Agda .PrimitiveType {
  color: #f38ba8;
}

.coal pre.Agda .PrimitiveType {
  color: #f38ba8;
}

.navy pre.Agda .PrimitiveType {
  color: #f38ba8;
}

.ayu pre.Agda .PrimitiveType {
  color: #f38ba8;
}

.mocha pre.Agda .Datatype {
  color: #f9e2af;
}

.coal pre.Agda .Datatype {
  color: #f9e2af;
}

.navy pre.Agda .Datatype {
  color: #f9e2af;
}

.ayu pre.Agda .Datatype {
  color: #f9e2af;
}

.mocha pre.Agda .Postulate {
  color: #fab387;
}

.mocha pre.Agda .Primitive {
  color: #fab387;
}

.coal pre.Agda .Postulate {
  color: #fab387;
}

.coal pre.Agda .Primitive {
  color: #fab387;
}

.navy pre.Agda .Postulate {
  color: #fab387;
}

.navy pre.Agda .Primitive {
  color: #fab387;
}

.ayu pre.Agda .Postulate {
  color: #fab387;
}

.ayu pre.Agda .Primitive {
  color: #fab387;
}

.mocha pre.Agda .Number {
  color: #fab387;
}

.coal pre.Agda .Number {
  color: #fab387;
}

.navy pre.Agda .Number {
  color: #fab387;
}

.ayu pre.Agda .Number {
  color: #fab387;
}

.mocha pre.Agda .Operator {
  color: #94e2d5;
}

.coal pre.Agda .Operator {
  color: #94e2d5;
}

.navy pre.Agda .Operator {
  color: #94e2d5;
}

.ayu pre.Agda .Operator {
  color: #94e2d5;
}

.mocha pre.Agda .Symbol {
  color: #bac2de;
}

.coal pre.Agda .Symbol {
  color: #bac2de;
}

.navy pre.Agda .Symbol {
  color: #bac2de;
}

.ayu pre.Agda .Symbol {
  color: #bac2de;
}

.mocha pre.Agda .Field {
  color: #94e2d5;
}

.coal pre.Agda .Field {
  color: #94e2d5;
}

.navy pre.Agda .Field {
  color: #94e2d5;
}

.ayu pre.Agda .Field {
  color: #94e2d5;
}

.mocha pre.Agda .String {
  color: #a6e3a1;
}

.coal pre.Agda .String {
  color: #a6e3a1;
}

.navy pre.Agda .String {
  color: #a6e3a1;
}

.ayu pre.Agda .String {
  color: #a6e3a1;
}

.mocha pre.Agda .Bound {
  color: #cba6f7;
}

.coal pre.Agda .Bound {
  color: #cba6f7;
}

.navy pre.Agda .Bound {
  color: #cba6f7;
}

.ayu pre.Agda .Bound {
  color: #cba6f7;
}

.mocha pre.Agda .Module {
  color: #fab387;
}

.coal pre.Agda .Module {
  color: #fab387;
}

.navy pre.Agda .Module {
  color: #fab387;
}

.ayu pre.Agda .Module {
  color: #fab387;
}

.mocha pre.Agda .CoinductiveConstructor {
  color: #f9e2af;
}

.coal pre.Agda .CoinductiveConstructor {
  color: #f9e2af;
}

.navy pre.Agda .CoinductiveConstructor {
  color: #f9e2af;
}

.ayu pre.Agda .CoinductiveConstructor {
  color: #f9e2af;
}

.mocha pre.Agda .InductiveConstructor {
  color: #89b4fa;
}

.mocha pre.Agda .Function {
  color: #89b4fa;
}

.mocha pre.Agda .Record {
  color: #89b4fa;
}

.coal pre.Agda .InductiveConstructor {
  color: #89b4fa;
}

.coal pre.Agda .Function {
  color: #89b4fa;
}

.coal pre.Agda .Record {
  color: #89b4fa;
}

.navy pre.Agda .InductiveConstructor {
  color: #89b4fa;
}

.navy pre.Agda .Function {
  color: #89b4fa;
}

.navy pre.Agda .Record {
  color: #89b4fa;
}

.ayu pre.Agda .InductiveConstructor {
  color: #89b4fa;
}

.ayu pre.Agda .Function {
  color: #89b4fa;
}

.ayu pre.Agda .Record {
  color: #89b4fa;
}

.mocha pre.Agda .Comment {
  color: #585b70;
}

.coal pre.Agda .Comment {
  color: #585b70;
}

.navy pre.Agda .Comment {
  color: #585b70;
}

.ayu pre.Agda .Comment {
  color: #585b70;
}

.macchiato pre.Agda .Keyword {

  color: #c6a0f6;
}

.macchiato pre.Agda .PrimitiveType {
  color: #ed8796;
}

.macchiato pre.Agda .Datatype {
  color: #eed49f;
}

.macchiato pre.Agda .Postulate {
  color: #f5a97f;
}

.macchiato pre.Agda .Primitive {
  color: #f5a97f;
}

.macchiato pre.Agda .Number {
  color: #f5a97f;
}

.macchiato pre.Agda .Operator {
  color: #8bd5ca;
}

.macchiato pre.Agda .Symbol {
  color: #b8c0e0;
}

.macchiato pre.Agda .Field {
  color: #8bd5ca;
}

.macchiato pre.Agda .String {
  color: #a6da95;
}

.macchiato pre.Agda .Bound {
  color: #c6a0f6;
}

.macchiato pre.Agda .Module {
  color: #f5a97f;
}

.macchiato pre.Agda .CoinductiveConstructor {
  color: #eed49f;
}

.macchiato pre.Agda .InductiveConstructor {
  color: #8aadf4;
}

.macchiato pre.Agda .Function {
  color: #8aadf4;
}

.macchiato pre.Agda .Record {
  color: #8aadf4;
}

.macchiato pre.Agda .Comment {
  color: #5b6078;
}

.frappe pre.Agda .Keyword {

  color: #ca9ee6;
}

.frappe pre.Agda .PrimitiveType {
  color: #e78284;
}

.frappe pre.Agda .Datatype {
  color: #e5c890;
}

.frappe pre.Agda .Postulate {
  color: #ef9f76;
}

.frappe pre.Agda .Primitive {
  color: #ef9f76;
}

.frappe pre.Agda .Number {
  color: #ef9f76;
}

.frappe pre.Agda .Operator {
  color: #81c8be;
}

.frappe pre.Agda .Symbol {
  color: #b5bfe2;
}

.frappe pre.Agda .Field {
  color: #81c8be;
}

.frappe pre.Agda .String {
  color: #a6d189;
}

.frappe pre.Agda .Bound {
  color: #ca9ee6;
}

.frappe pre.Agda .Module {
  color: #ef9f76;
}

.frappe pre.Agda .CoinductiveConstructor {
  color: #e5c890;
}

.frappe pre.Agda .InductiveConstructor {
  color: #8caaee;
}

.frappe pre.Agda .Function {
  color: #8caaee;
}

.frappe pre.Agda .Record {
  color: #8caaee;
}

.frappe pre.Agda .Comment {
  color: #626880;
}

.latte pre.Agda .Keyword {

  color: #8839ef;
}

.latte pre.Agda .PrimitiveType {
  color: #d20f39;
}

.latte pre.Agda .Datatype {
  color: #df8e1d;
}

.latte pre.Agda .Postulate {
  color: #fe640b;
}

.latte pre.Agda .Primitive {
  color: #fe640b;
}

.latte pre.Agda .Number {
  color: #fe640b;
}

.latte pre.Agda .Operator {
  color: #179299;
}

.latte pre.Agda .Symbol {
  color: #5c5f77;
}

.latte pre.Agda .Field {
  color: #179299;
}

.latte pre.Agda .String {
  color: #40a02b;
}

.latte pre.Agda .Bound {
  color: #8839ef;
}

.latte pre.Agda .Module {
  color: #fe640b;
}

.latte pre.Agda .CoinductiveConstructor {
  color: #df8e1d;
}

.latte pre.Agda .InductiveConstructor {
  color: #1e66f5;
}

.latte pre.Agda .Function {
  color: #1e66f5;
}

.latte pre.Agda .Record {
  color: #1e66f5;
}

.latte pre.Agda .Comment {
  color: #acb0be;
}

.mocha pre.Agda  {

  color: #a6adc8;
  background: #181825;
}

.coal pre.Agda  {

  color: #a6adc8;
  background: #181825;
}

.navy pre.Agda  {

  color: #a6adc8;
  background: #181825;
}

.ayu pre.Agda  {

  color: #a6adc8;
  background: #181825;
}

.macchiato pre.Agda  {

  color: #a5adcb;
  background: #1e2030;
}

.frappe pre.Agda  {

  color: #a5adce;
  background: #292c3c;
}

.latte pre.Agda  {

  color: #6c6f85;
  background: #e6e9ef;
}