html {height: 100%;}

body {
    margin: 0;
    padding: 0;
    min-height: 100%;
    background: white;
    color: #222222;

    font-family: "IBM Plex Sans", system-ui, -apple-system, BlinkMacSystemFont,"Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif;
    -moz-osx-font-smoothing: grayscale;
    -webkit-font-smoothing: antialiased;
    font-smoothing: antialiased;
    font-weight: 400;
}

/* Applied Science color scheme as of 2019-06-01 */
.rosebud     {color: #FCAB9D;}
.salmon      {color: #FC6282;}
.mauve       {color: #D46BC8;}
.ultramarine {color: #9085DA;}
.babyblue    {color: #4FADFF;}
.summersky   {color: #38D996;}

.bg-rosebud     {background-color: #FCAB9D;}
.bg-salmon      {background-color: #FC6282;}
.bg-mauve       {background-color: #D46BC8;}
.bg-ultramarine {background-color: #9085DA;}
.bg-babyblue    {background-color: #4FADFF;}
.bg-summersky   {background-color: #38D996;}

.block {
    display: block;
}

.bg-eigengrau {
    background: #181818;
}

/**********************************************************************/
/* landing page */

#about, #blog, #github, #twitter {
    color: white;
    font-family: "IBM Plex Mono", monospace;
}
#about:hover, #blog:hover, #github:hover, #twitter:hover {
    text-decoration: none;
}
#about:hover {background:#D46BC8;}
#blog:hover {background:#9085DA;}
#github:hover {background:#4FADFF;}
#twitter:hover {background:#38D996;}

/**********************************************************************/
/* articles */

a {
    color: #4FADFF;
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}
a:visited { 
    color: #9085DA;
}
a:active {
    color: #FC6282;
}

.mono, code, .code, .syntax {
    font-family: "IBM Plex Mono", Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
}

/* three kinds of bg/fg combo for sections */
section.light {
    color: #222222;
    background-color: #ffffff;
}

section.tint {
    color: #222222;
    background-color: #f6f6f6;
}

section.dark {
    background: #181818;
    color: #dedede;
}

code {
    background-color: #f6f6f6;
}
pre {
    margin: 0;
    padding: 0;
    overflow-x: auto;
}
code > div > pre {
    display: block;
    overflow: auto;
}

.caption {
    color: #888888;
}

/* TODO */
span.todo {
    color: red;
    font-weight: bold;
}

/* ------------------------------ syntax hightlighting ------------------------------ */

.syntax pre, span.syntax  {
    font-family: "IBM Plex Mono", Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
    background: #f6f6f6;
    color: #222222;
    padding: 1rem;
}

/*
 Colors derived from the Applied palette, but darkened in HSV space as needed.
 #FCAB9D -> #C7877B
 #FC6282 -> #DE5772 
 #D46BC8 -> #BF60B4
 #9085DA
 #4FADFF -> #268bd2
 #38D996 -> #2CAB76
*/

span.background { color: #f6f6f6; } /* not used? */
span.s-exp { color: #777777; }
span.reader-char { color: #777777; }
span.regex { color: #777777; }
span.comment { color: #777777; }
span.number { color: #777777; }

span.definition { color: #DE5772; }
span.special-form { color: #DE5772; }
span.macro { color: #DE5772; }

span.keyword { color: #BF60B4; }
span.nil { color: #BF60B4; }
span.boolean { color: #BF60B4; }

span.core-fn { color: #9085DA; }
span.symbol { color: #9085DA; }

span.repeat { color: #2CAB76; }
span.exception { color: #2CAB76; }
span.conditional { color: #2CAB76; }
span.character { color: #2CAB76; }

span.string { color: #C7877B; }
span.variable { color: #268bd2; }

.alert {
    padding: 1.2em;
    font-style: italic;
    background-color: rgb(79,173,255,0.2); /* translucent rosebud */
}

/* partial implementation of maria theme */
/*
.syntax pre .definition { color: #cb804c; }
.syntax pre .core-fn { color: #987aa0; }
.syntax pre .variable { color: #268bd2; }
.syntax pre .number { color: #987aa0; }
.syntax pre .s-exp { color: #c9c9c9; }
.syntax pre .symbol { color: #987aa0; }
.syntax pre .special-form { color: #cc6666; }
.syntax pre .background { color: #002b36; }
.syntax pre .string { color: #a78938; }
.syntax pre .keyword { color: #859900; }
.syntax pre .macro { color: #cb4b16; }
.syntax pre .reader-char { color: #c9c9c9; }
.syntax pre .nil { color: #2aa198; }
.syntax pre .comment { color: #a3685a; }
.syntax pre .repeat { color: #859900; }
.syntax pre .regex { color: #c9c9c9; }
.syntax pre .exception { color: #859900; }
.syntax pre .boolean { color: #987aa0; }
.syntax pre .character { color: #2aa198; }
.syntax pre .conditional { color: #859900; }
*/