/*! HTML5 Boilerplate v5.0 | MIT License | http://h5bp.com/ */

@font-face {
    font-family: heliotrope_4;
    font-style: normal;
    font-weight: normal;
    font-stretch: normal;
    font-display: auto;
    src: url("heliotrope_4_regular.woff2") format("woff2");
}
@font-face {
    font-family: heliotrope_4;
    font-style: italic;
    font-weight: normal;
    font-stretch: normal;
    font-display: auto;
    src: url('heliotrope_4_italic.woff2') format('woff2');
}

@font-face {
    font-family: heliotrope_4;
    font-style: normal;
    font-weight: bold;
    font-stretch: normal;
    font-display: auto;
    src: url('heliotrope_4_bold.woff2') format('woff2');
}

@font-face {
    font-family: heliotrope_4_caps;
    font-style: normal;
    font-weight: normal;
    font-stretch: normal;
    font-display: auto;
    src: url('heliotrope_4_caps_regular.woff2') format('woff2');
}

@font-face {
    font-family: heliotrope_4_caps;
    font-style: normal;
    font-weight: bold;
    font-stretch: normal;
    font-display: auto;
    src: url('heliotrope_4_caps_bold.woff2') format('woff2');
}


.confauthor {
    font-weight: bold;
}

.conftitle {
    font-style: italic;
}

::-moz-selection {
    background: #b3d4fc;
    text-shadow: none;
}

::selection {
    background: #b3d4fc;
    text-shadow: none;
}

audio,
canvas,
iframe,
img,
svg,
video {
    vertical-align: middle;
    margin: 20px 5px;
    width: 100%;
}

pre {
    font-family: 'Inconsolata', monospace;
    white-space: pre-wrap;       /* css-3 */
    white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
    white-space: -pre-wrap;      /* Opera 4-6 */
    white-space: -o-pre-wrap;    /* Opera 7 */
    word-wrap: break-word;       /* Internet Explorer 5.5+ */
    padding: 10px;
    line-height: 1.1em;
    background-color: #f4e8ff !important; /* light purple */
    text-align: left;
    font-size: 0.75em;
    width: calc(100% - 20px); /* remove the padding */
}

code {
    font-family: 'Inconsolata', monospace;
    font-variant-ligatures: discretionary-ligatures;
    font-size: 0.75em;
    background-color: #f4e8ff !important; /* light purple */
    padding: 2px;
    white-space: pre-wrap;
}

blockquote {
    background: #f4e8ff;
    border-left: 10px solid #c7abe0;
    margin: 1.5em 15px;
    padding: 0.5em 15px;
    font-size: 12pt;
    line-height: 1.3em;
}

.browserupgrade {
    margin: 0.2em 0;
    background: #ccc;
    color: #000;
    padding: 0.2em 0;
}

body {
    background-color: color-mix(in oklab, #a84dfa 10%, white);
    text-rendering: optimizeLegibility;
    -moz-osx-font-smoothing: grayscale;
    -moz-font-feature-settings: 'liga', 'kern';
    font-stretch: normal;
    -webkit-font-kerning: auto;
    font-kerning: auto;
    -webkit-font-smoothing: antialiased!important;
    text-shadow: 1px 1px 1px rgba(0, 0, 0, .004);
    vertical-align: baseline;
    /*font-family: 'Fira Code', monospace;*/
    /*font-size: calc(15px + (15 - 12) * ((100vw - 300px) / (1600 - 300)));*/
}

h2 + p {
    text-indent: 0;
}
p {
    margin: 0 ;
    text-indent: 1em;
}

.purple {
    color: #A84DFA;
}

#main h1::before, #sidebar h1::before, #nav h1::before {
    content: "λ ";
    color: #A84DFA;
    font-family: 'Inconsolata', monospace;
}

#sidebar h2::before, #nav h2::before {
    content: "λλ ";
    color: #A84DFA;
    font-family: 'Inconsolata', monospace;
}

#sidebar h1 {
    text-align: center;
}

#sidebar h1, #nav h1 {
    margin-top: 0;
    font-size: 40px;
    font-weight: 700;
    font-family: "Inconsolata";
    text-rendering: optimizeLegibility;
    line-height: 1.1;
    color: #444;
}

#main h1 {
    margin: 10px 0 10px 0;
    position: relative;
    padding-left: 1em;
    color: #444;
    font-family: "Inconsolata";
    line-height: 1.2em;
    font-size: 1.8em;
}

#main h1::before {
    position: absolute;
    left: 0;
}

main h2 {
    font-family: heliotrope_4_caps;
    font-weight: normal;
    font-size: 1.5em;
}
#main h2::before {
    content: "λλ ";
    color: color-mix(in lab, #a84dfa 100%, white);
}
#main h3::before {
    content: "λλλ ";
    color: color-mix(in lab, #a84dfa 100%, white);
}

h1#software-infrastructure-engineering {
    margin-bottom: 4rem;
}


#intro-img {
    width: 200px;
    border-radius: 50%;
    margin: 0 auto;
}

#main,
#sidebar {
    position: absolute;
    top: 50px;
    /*font-family: "Open Sans";*/
    font-family: heliotrope_4;
    font-feature-settings: 'onum', 'liga', 'calt', 'ordn';
    text-decoration: none;
    font-size: 13pt;
}
#main {
    left: 214px;
    width: 556px;
    padding: 20px 20px 150px 0;
    /*font-family: "Open Sans";*/
    line-height: 1.4;
    letter-spacing: .01em;
    color: #444;
    text-align: justify;
}

#main ol, #main ul {
    padding-left: 20px;
}

#main li {
    padding: 0.2em 0;
}

.list ul {
    list-style-type: none;
}

.list-text {
    font-size: 0.9rem;
}

a.nolink {
    color: inherit !important;
    text-decoration: none;
}

#sidebar {
    left: 0;
    width: 190px;
    padding: 20px 12px 0 0;
    border-right: 1px solid #ccc;
    text-align: right;
}

#sidebar h1 {
    font-size: 1.2rem;
}

#sidebar h2 {
    font-family: 'Inconsolata', monospace;
    margin-top: 20px;
    text-transform: uppercase;
    font-size: 13px;
    letter-spacing: 1px;
    margin-bottom: -15px;
}
#sidebar h2::before {
    text-transform: none;
}

#sidebar ul {
    list-style-type: none;
    margin: 25px 0;
    padding-inline-start: 0;
}

#sidebar li {
    font-size: 10pt;
    line-height: 1.4em;
    margin-bottom: 6px;
    text-wrap: balance;
}

#sidebar a, #nav a {
    color: inherit;
    background-color: transparent;
    text-decoration: none;
}
a {
    /*background-color: #fbf7ff;*/
    background-color: color-mix(in lab, #a84dfa 50%, white);
    border-radius: 4px;
    /*color: #553376;*/
    color: color-mix(in lab, #a84dfa 50%, #222);
    text-decoration: none;
    padding-left: 3px;
    padding-right: 3px;
}

a:hover {
    color: #a84dfa;
    background-color: #f4e8ff;
}

/* Small Nav */

#nav {
    display: none;
    margin-bottom: 20px;
}

#nav li {
    list-style-type: none;
}

#nav img.logo {
    width: 65px;
    margin-bottom: 10px;
}

#nav-items {
    background: #f7f7f7;
    width: 100%;
    padding:0 10px 0 10px;
}

#nav-btn {
    display: none;
}

#nav-pointer {
    display: inline-block;
}

.rotated {
    transform: rotate(90deg);
}

*:focus {
    outline: none;
}

.post-info {
    color: grey;
    font-size: 0.8em;
    font-family: 'Inconsolata', monospace;
}

#right {
    width: 50%;
    text-align: right;
    line-height: 3.1rem;
}

#left {
    float: left;
    width: 50%;
}

.share-btn-holder {
    text-align: center;
}

/* Share buttons copypasta */

.resp-sharing-button__link,
.resp-sharing-button__icon {
    display: inline-block
}

.resp-sharing-button__link {
    text-decoration: none;
    color: #fff;
    margin: 0.5em
}

.resp-sharing-button {
    border-radius: 5px;
    transition: 25ms ease-out;
    padding: 0.5em 0.75em;
}

.resp-sharing-button__icon svg {
    width: 1em;
    height: 1em;
    margin-right: 0.4em;
    vertical-align: top
}

.resp-sharing-button--small svg {
    margin: 0;
    vertical-align: middle
}

/* Non solid icons get a stroke */
.resp-sharing-button__icon {
    stroke: #fff;
    fill: none
}

/* Solid icons get a fill */
.resp-sharing-button__icon--solid,
.resp-sharing-button__icon--solidcircle {
    fill: #fff;
    stroke: none
}

.resp-sharing-button--twitter {
    background-color: #55acee
}

.resp-sharing-button--twitter:hover {
    background-color: #2795e9
}

.resp-sharing-button--pinterest {
    background-color: #bd081c
}

.resp-sharing-button--pinterest:hover {
    background-color: #8c0615
}

.resp-sharing-button--facebook {
    background-color: #3b5998
}

.resp-sharing-button--facebook:hover {
    background-color: #2d4373
}

.resp-sharing-button--tumblr {
    background-color: #35465C
}

.resp-sharing-button--tumblr:hover {
    background-color: #222d3c
}

.resp-sharing-button--reddit {
    background-color: #5f99cf
}

.resp-sharing-button--reddit:hover {
    background-color: #3a80c1
}

.resp-sharing-button--google {
    background-color: #dd4b39
}

.resp-sharing-button--google:hover {
    background-color: #c23321
}

.resp-sharing-button--linkedin {
    background-color: #0077b5
}

.resp-sharing-button--linkedin:hover {
    background-color: #046293
}

.resp-sharing-button--email {
    background-color: #777
}

.resp-sharing-button--email:hover {
    background-color: #5e5e5e
}

.resp-sharing-button--xing {
    background-color: #1a7576
}

.resp-sharing-button--xing:hover {
    background-color: #114c4c
}

.resp-sharing-button--whatsapp {
    background-color: #25D366
}

.resp-sharing-button--whatsapp:hover {
    background-color: #1da851
}

.resp-sharing-button--hackernews {
    background-color: #FF6600
}
.resp-sharing-button--hackernews:hover, .resp-sharing-button--hackernews:focus {   background-color: #FB6200 }

.resp-sharing-button--vk {
    background-color: #507299
}

.resp-sharing-button--vk:hover {
    background-color: #43648c
}

.resp-sharing-button--facebook {
    background-color: #3b5998;
    border-color: #3b5998;
}

.resp-sharing-button--facebook:hover,
.resp-sharing-button--facebook:active {
    background-color: #2d4373;
    border-color: #2d4373;
}

.resp-sharing-button--twitter {
    background-color: #55acee;
    border-color: #55acee;
}

.resp-sharing-button--twitter:hover,
.resp-sharing-button--twitter:active {
    background-color: #2795e9;
    border-color: #2795e9;
}

.resp-sharing-button--email {
    background-color: #777777;
    border-color: #777777;
}

.resp-sharing-button--email:hover,
.resp-sharing-button--email:active {
    background-color: #5e5e5e;
    border-color: #5e5e5e;
}

.resp-sharing-button--linkedin {
    background-color: #0077b5;
    border-color: #0077b5;
}

.resp-sharing-button--linkedin:hover,
.resp-sharing-button--linkedin:active {
    background-color: #046293;
    border-color: #046293;
}

.resp-sharing-button--reddit {
    background-color: #5f99cf;
    border-color: #5f99cf;
}

.resp-sharing-button--reddit:hover,
.resp-sharing-button--reddit:active {
    background-color: #3a80c1;
    border-color: #3a80c1;
}

.resp-sharing-button--whatsapp {
    background-color: #25D366;
    border-color: #25D366;
}

.resp-sharing-button--whatsapp:hover,
.resp-sharing-button--whatsapp:active {
    background-color: #1DA851;
    border-color: #1DA851;
}

.resp-sharing-button--hackernews {
    background-color: #FF6600;
    border-color: #FF6600;
}

.resp-sharing-button--hackernews:hover
                                     .resp-sharing-button--hackernews:active {
    background-color: #FB6200;
    border-color: #FB6200;
}

.resp-sharing-button--vk {
    background-color: #507299;
    border-color: #507299;
}

.resp-sharing-button--vk:hover
                             .resp-sharing-button--vk:active {
    background-color: #43648c;
    border-color: #43648c;
}

.resp-sharing-button--telegram {
    background-color: #54A9EB;
}

.resp-sharing-button--telegram:hover {
    background-color: #4B97D1;}
/* End share buttons */

#directory-link {
    display: none;
}

@media only screen and (max-width: 800px){

    #sidebar {
        display: none;
    }

    #nav h1 {
        text-align: left;
        font-size: 2rem;
    }

    #nav h1::before {
        content: "λ ";
        color: #A84DFA;
    }

    #nav h2::before {
        content: "λλ ";
        color: #A84DFA;
    }

    #nav {
        display: flex;
        flex-direction: column;
        flex-wrap: wrap;
        margin-bottom: 40px;
    }

    #main {
        left: 15px;
        width: 85%;
        padding-left: 20px;
    }

    #main h1 {
        position: static;
        padding-left: 20px;
    }

    h1 {
        font-size: 2rem;
    }

    h2 {
        font-size: 1.1rem;
    }

    nav h2 {
        margin: 0.5rem 0;
    }

    .post-info {
        text-align: center;
    }

    #home h1 {
        display: none;
    }

    #directory-link {
        display: inline;
    }
}

dl.dfn-inline {
    margin-left: 2em;
}
dl.dfn-inline dt {
    position: relative;
    display: inline;
    font-style: italic;
    margin-left: -2em;
}
dl.dfn-inline:not(.dfn-sentence) dt::after {
    content: " ::";
    font-style: normal;
    vertical-align: 5%;
    letter-spacing: -1px;
}
dl.dfn-inline dd {
    display: inline;
    margin-inline-start: 0em;
}
dl.dfn-inline dd::after {
    content: "";
    display: block;
}

.rules {
    display: flex;
    flex-direction: row;
    flex-wrap: wrap;
    justify-content: center;
    column-gap: 1.5em;
    align-items: baseline;
}

.macrodefs {
    display: none;
}

.lemma-title {
    font-family: heliotrope_4_caps;
}

.hash-list {
    text-align: left;
    font-feature-settings: "ordn" off;
}

#main.directory-index {
    top: 0px;
    /*left: 15px;
    padding-left: 20px;
    width: 100%;*/
    text-align: left;
}
.directory-index p {
    text-indent: 0;
}
.directory-index ul {
    list-style: none;
}

table.bitfield {
    table-layout: fixed;
    width: 100%;
    border-spacing: 0;
    border-collapse: collapse;
    font-size: 0.75em;
}

table.bitfield tbody::after {
    content: "";
    display: block;
    height: calc(1em + var(--max-bottom-offset, 0px));
}
table.bitfield tr {
    line-height: 1.4rem;
}
table.bitfield th {
    font-size: 0.66em;
    transform: rotate(-45deg);
    text-align: left;
}
table.bitfield td, table.bitfield th {
    box-sizing: border-box;
    font-style: normal;
    font-weight: normal;
    font-feature-settings: "onum" off;
    margin: 0;
    padding: 0;
    text-align: center;
}
table.bitfield td {
    position: relative;
    border: 1px solid black;
    height: 1lh;
}
table.bitfield td.flexible-right {
    border-right: 1px dashed grey;
}
table.bitfield td.flexible-left {
    border-left: 1px dashed grey;
}
table.bitfield td div.offset-top {
    line-height: 1.4;
    position: absolute;
    top: calc(-1 * var(--top));
    height: calc(var(--top) - 0.5em);
    /*height: calc(50px + 50%);*/
    left: calc(-1 * var(--left));
    width: calc(var(--left) + 50%);
    border-right: 0.5px solid black;
    border-top: 0.5px solid black;
}
table.bitfield td div.offset-top div {
    position: absolute;
    top: -0.5lh;
    right: calc(100% + 0.5em);
    width: max-content;
}
table.bitfield td div.offset-bl {
    line-height: 1.4;
    position: absolute;
    bottom: calc(-1 * var(--top));
    height: calc(var(--top) - 0.5em);
    left: calc(-1 * var(--left));
    width: calc(var(--left) + 50%);
    border-right: 0.5px solid black;
    border-bottom: 0.5px solid black;
}
table.bitfield td div.offset-bl div {
    position: absolute;
    top: calc(100% - 0.5lh);
    right: calc(100% + 0.5em);
    width: max-content;
}
table.bitfield td div.offset-br {
    line-height: 1.4;
    position: absolute;
    bottom: calc(-1 * var(--top));
    height: calc(var(--top) - 0.5em);
    left: 50%;
    width: calc(var(--left) + 50%);
    border-left: 0.5px solid black;
    border-bottom: 0.5px solid black;
}
table.bitfield td div.offset-br div {
    position: absolute;
    top: calc(100% - 0.5lh);
    left: calc(100% + 0.5em);
    width: max-content;
}
table.bitfield td:empty:not(.flexible-left, .flexible-right) {
    /* using a useless gradient here seems to avoid Firefox bug #688556 */
    background: linear-gradient(color-mix(in oklab, #f4e8ff 90%, #444444),
                                color-mix(in oklab, #f4e8ff 90%, #444444));
}
table.bitfield td.maybe {
    background: repeating-linear-gradient(
        45deg,
        #f4e8ff,
        #f4e8ff 2px,
        color-mix(in oklab, #f4e8ff 90%, #444444) 2px,
        color-mix(in oklab, #f4e8ff 90%, #444444) 4px);
}

div.figures-top {
    display: none;
}
figure {
    background: #f4e8ff;
    margin-top: 15px;
    margin-bottom: 15px;
}
figure.fullwidth {
    margin-left: 0;
    margin-right: 0;
}
figcaption {
    width: 100%;
    text-align: center;
    font-family: heliotrope_4_caps;
}

aside {
    background: #f4e8ff;
    border-left: 10px solid #c7abe0;
    margin: 0.25em 15px;
    padding: 0.5em 15px;
}
aside.update::before {
    content: "Update";
    font-family: heliotrope_4_caps;
    font-weight:bold;
}
aside.note::before {
    content: "Note";
    font-family: heliotrope_4_caps;
    font-weight:bold;
}
aside :first-child {
    text-indent: 0;
}

@supports not (grid-template-rows: masonry) {
    /* 1394 = 214 + 20 + 556 + 24 + 556 + 24 */
    @media only screen and (min-width: 1394px) {
        figure {
            float: right;
            clear: both;
            width: 556px;
            margin-right: -580px;
            margin-top: 0;
        }
        figure.fullwidth {
            margin-right: -580px;
        }
    }
    /* 1136 = 214 + 20 + 556 + 24  + (10 + 10 + 556/2 + 10) + 24 */
    @media only screen and (min-width: 1146px) {
        aside:not(.inline, .update) {
            float: right;
            clear: both;
            /*width: 278px;*/
            width: calc(100vw - 214px - 20px - 556px - 24px - 10px - 10px - 10px - 24px);
            margin-left: 0;
            margin-right: calc(-1 * (100vw - 214px - 20px - 556px - 24px));
            margin-top: 0;
        }
    }
    /* 1228 = 214 + 20 + 556 + 24 + (10 + 10 + 556 * 2/3 + 10) + 24 */
    @media only screen and (min-width: 1238px) {
        aside:not(.inline, .update) {
            float: right;
            clear: both;
            width: 370px;
            margin-right: -424px;
        }
    }
}

@supports (grid-template-rows: masonry) {
    @media only screen and (min-width: 1394px) {
        main {
            grid-template-columns: 556px 556px 1fr;
        }
        main > figure {
            grid-column-start: 2;
            width: 100%;
            margin-top: 0;
        }
        main > figure.fullwidth {
            grid-column-end: 4;
        }
    }
    /* 1136 = 214 + 20 + 556 + 24  + (10 + 10 + 556/2 + 10) + 24 */
    @media only screen and (min-width: 1146px) {
        #main {
            width: calc(100% - 214px - 20px);
        }
        main {
            display: grid;
            gap: 0 24px;
            width: 100%;;
            grid-template-columns: 556px 1fr;
            grid-template-rows: masonry;
            justify-items: start;
        }
        main > * {
            grid-column-start: 1;
        }
        main > div.aside-top {
            display: block;
            grid-column-end: 3;
        }
        aside:not(.inline, .update) {
            grid-column-start: 2;
            width: calc(100vw - 214px - 20px - 556px - 24px - 10px - 10px - 10px - 24px);
            margin-left: 0;
            margin-top: 0;
        }
    }
    /* 1228 = 214 + 20 + 556 + 24 + (10 + 10 + 556 * 2/3 + 10) + 24 */
    @media only screen and (min-width: 1238px) {
        aside:not(.inline, .update) {
            grid-column-start: 2;
            width: 370px;
        }
    }
}

header {
     color: red;
     background-color: white;
     border: 1px solid red;
     margin-bottom: 1em;
    text-align: center;
    font-family: heliotrope_4_caps;
    font-size: 1.5em;
}