* { box-sizing: border-box; }

body {
    font-family: "Fira Sans","Helvetica Neue",Helvetica,Calibri,Verdana,sans-serif;
    margin: 1.75rem auto;
    padding: 1.75rem 2rem;
    max-width: 44rem;
    color: #444;
}

/* ------------------------- type scale ------------------------- */

html {
    font-size: 125%;
    line-height: 1.75;
}

html.vertical-rhythm-lines {
    background-image: linear-gradient(pink 1px, transparent 1px);
    background-size: 100% 1.75rem;
}

body {
    display: flex;
    flex-direction: column;
    line-height: 1.75;
}

p, ol, ul, details {
    line-height: 1.75;
    margin: 0;
    padding-top: 12px;
    padding-bottom: calc(1.75rem - 12px);
}

ol, ul {
    padding-left: 0;
}

ol ol, ol ul, ul ol, ul ul {
    padding-left: 2rem;
}

@-moz-document url-prefix() {
    details { padding-top: 10px; }
}

blockquote {
    margin: 0 2rem;
}

p ul, p ol, p details,
ol p, ol ul, ol ol, ol detaills,
ul p, ul ul, ul ol, ul details,
details p, details ul, details ol, details details  {
    padding-top: 0;
    padding-bottom: 0;
}

ul > li > p {
    padding-top: 2px;
    padding-bottom: 0;
    margin-bottom: 1.75rem;
}

/* firefox doesn't size list items correctly */
@-moz-document url-prefix() {
    ul > li { margin-top: -2px; }
    li > p { padding-top: 0; }
}

h1, h2, h3, h4, h5 {
    font-weight: normal;
    margin: 0;
    line-height: 3.5rem;
}

h1, h2, h3 {
    font-weight: normal;
}

h1 {
    font-size: 3.052rem;
    padding-top: 17px;
    padding-bottom: calc(1.75rem - 17px);
}

h2 {
    font-size: 2.441rem;
    padding-top: 21px;
    padding-bottom: calc(1.75rem - 21px);
}

h3 {
    font-size: 1.953rem;
    padding-top: 24px;
    padding-bottom: calc(1.75rem - 24px);
}

h4, .main-menu .title {
    line-height: 1.75rem;
    font-size: 1.563rem;
    margin-top: 1.75rem;
    padding-top: 8px;
    padding-bottom: calc(1.75rem - 8px);
}

h5 {
    line-height: 1.75rem;
    font-size: 1.25rem;
    margin-top: 1.75rem;
    padding-top: 0px;
    padding-bottom: calc(1.75rem - 0px);
}

small, .text_small {
    font-size: 0.8rem;
    line-height: 1.75rem;
}

/* ------------------------- end of type scale ------------------------- */

.main-menu {
    display: flex;
    flex-direction: column;
    margin-bottom: 3.5rem;
}

.main-menu > .main-menu-right {
    display: flex;
    flex-direction: column;
}

.main-menu > .main-menu-right > * {
    margin-left: 2rem;
}

.main-menu .title {
    font-weight: bold;
    margin-top: 0;
    padding-top: 0px;
    padding-bottom: calc(1.75rem - 8px);
}

.main-menu .title img {
    height: 1.75rem;
    width: 26px;
    margin-right: 1rem;
    margin-top: 4px;
    margin-bottom: -4px;
}

.main-menu .main-menu-dropdown {
    margin-bottom: -12px;
    padding-bottom: 0;
}

.main-menu .main-menu-dropdown > summary { color: #0d98ba; }
.main-menu .main-menu-dropdown > summary:hover, .main-menu .main-menu-dropdown[open] > summary {
    color: #0c7090;
    text-decoration: underline;
    cursor: pointer;
}

.main-menu .main-menu-dropdown-children {
    margin-bottom: 1.75rem;
}

@media only screen and (min-width: 800px) {
    .main-menu {
        flex-direction: row;
        justify-content: space-between;
    }
    .main-menu > .main-menu-right {
        flex-direction: row;
    }
    .main-menu .main-menu-dropdown > .main-menu-dropdown-children {
        position: absolute;
        left: 0;
        right: 0;
        top: calc(1.75rem * 3);
        padding: 0 0 0 7rem;
        margin-left: auto;
        margin-right: auto;
        width: 40rem;

        display: flex;
        flex-direction: row;
        justify-content: flex-end;
        flex-wrap: wrap;

        list-style: none;
    }

    .main-menu .main-menu-dropdown-children > li {
        margin-left: 1rem;
        padding-top: 12px;
        margin-bottom: -12px;
    }

    @-moz-document url-prefix() {
        .main-menu .main-menu-dropdown-children > li {
            padding-top: 15px;
            margin-bottom: -13px;
        }
    }
}

h1 a, .title a { color: #444; text-decoration: none; }
h1 a:hover, .title a:hover { text-decoration: underline; }

a { color: #0d98ba; }
a:hover { color: #0c7090; }

tt, pre, code, kbd { font-family: "Fira Mono", Inconsolata, monospace; }

#where li {
    display: inline-block;
    margin: 0 2em;
}

#versions li {
    display: inline;
    margin: 1em;
}

.outputs {
    display: flex;
    width: 100%;
    align-items: center;
    height: 21rem;
}

.code {
    font-size: 75%;
    line-height: 1.75rem;
    text-shadow: none;
    color: #333;
    background: #f8f8f8;
    padding: 0;
    text-align: left;
    margin: 1.75rem auto 1.75rem auto;
    margin-bottom: calc(1.75rem - 2px);
    border-radius: 3px;
    border: 1px solid #ddd;
}

.code-flex {
    height: 100%;
    display: flex;
    flex-direction: column;
    justify-content: center;
    flex-grow: 1;
    width: min-content;
}

pre {
    margin-top: 11px;
    margin-bottom: calc(1.75rem - 11px);
    overflow-x: auto;
}

.sourceCode > pre {
    margin: 0;
    overflow-x: visible;
}

#fengari-console, #compiled-lua {
    overflow-y: scroll;
    padding: 1em 1.2em;
    display: block;
    flex-grow: 1;
}

#fengari-console pre { margin: 0; }

.fengari-input-container { display: flex; }

.fengari-input-container > * {
    outline: none;
    border: none;
    white-space: pre-wrap;
    font-family: "Fira Mono", Inconsolata, monospace;
    color: #444;
    background: #f0f0f0;
    min-height: 1em;
    padding: 1em;
    margin: 0;
    border-radius: 0 0 3px 3px;
    border-top: 1px solid #ddd;
}

#fengari-input {
    flex: 1;
    font-size: 10pt;
    padding-left: 0;
    line-height: 1.75rem;
}

.button-container {
    width: 0;
    flex-grow: 0;
}

#lua-pane {
    display: none;
}

#toggle-compiled-code {
    font-size: 10pt;
    border-radius: 0 0 3px 3px;
    border: 2px solid #ddd;
}

/* code sample */
#sample { padding: 1.75rem; }
#sample .builtin {/* font-lock-builtin-face */ color: #483d8b;}
#sample .keyword {/* font-lock-keyword-face */ color: #a020f0;}
#sample .string {/* font-lock-string-face */ color: #8b2252;}
#sample .type {/* font-lock-type-face */ color: #228b22;}
#sample .variable-name {/* font-lock-variable-name-face */ color: #a0522d;}
#sample .comment {/* font-lock-comment-face */ color: #b22222;}

/* see fennel */
#see-fennel textarea {
    float: left;
    width: 48%;
    height: 25em;
    margin: 0.5em;
    padding: 0.4em;
}

#see-fennel button, #see-fennel select {
    margin: 0.5em;
    width: 48%;
    float: left;
}

#see-fennel select {
    margin-bottom: 3em;
}

hr { margin: 1.75rem 0 calc(1.75rem - 2px) 0; clear: both; }

#see-fennel #out {
    clear: both;
    font-size: 80%;
    padding: 1em;
    background-color: #f8f8f8;
    border-radius: 3px;
    border: 1px solid #ddd;
}

h3 code { color: #007020; }