:root {
  color-scheme: light dark;
  /* Selenized Light/Dark for code content */
  --bg-0: light-dark(#fbf3db,#103c48);
  --bg-1: light-dark(#ece3cc,#184956);
  --bg-2: light-dark(#d5cdb6,#2d5b69);
  --dim-0: light-dark(#909995,#72898f);
  --fg-0: light-dark(#53676d,#adbcbc);
  --fg-1: light-dark(#3a4d53,#cad8d9);
  --red: light-dark(#d2212d,#fa5750);
  --green: light-dark(#489100,#75b938);
  --yellow: light-dark(#ad8900,#dbb32d);
  --blue: light-dark(#0072d4,#4695f7);
  --magenta: light-dark(#ca4898,#f275be);
  --cyan: light-dark(#009c8f,#41c7b9);
  --orange: light-dark(#c25d1e,#ed8649);
  --violet: light-dark(#8762c6,#af88eb);
  /* Set basic colors */
  color: var(--fg-0);
  background-color: var(--bg-1);
  /* spacing control */
  --padding: 0.5rem;
  --max-width: 65rem;
}

/* Use Iosevka for the font */
code {
    font-family: "Iosevka Web", monospace;
}

/* Remove Gap Between Lines */
:root {
    line-height: 1rem;
}

/* Make Flexbox Sizing Eaiser */
* {
    box-sizing: border-box;
}

/* Style Code Box */
body {
    display: flex;
    flex-direction: column;
    align-items: center;
    padding: var(--padding);
}
code {
    display: flex;
    flex-direction: column;
    background-color: var(--bg-0);
    padding: var(--padding);
    border-radius: var(--padding);
    min-width: 80ch;
}

/* Line Number Styling */
.IdrisLineNumber {
    color: var(--dim-0);
    text-decoration: none;
    user-select: none;
}
a.IdrisLineNumber:hover {
    color: var(--fg-1);
    text-decoration: underline;
}

/** Style up the idris elements **/
.IdrisKeyword {
    color: var(--green);
    font-weight: bold;
}
.IdrisModule {
    font-style: italic;
    text-decoration: underline;
    text-decoration-style: dotted;
    color: var(--fg-1);
}
.IdrisType {
    color: var(--blue);
}
.IdrisBound {
    color: var(--violet);
}
.IdrisFunction {
    color: var(--green);
}
.IdrisData {
    color: var(--red);
}
.IdrisComment {
    color: var(--cyan);
}
.IdrisPostulate {
  color: var(--code-orange);
  font-style: italic;
  font-weight: bold;
}