/* index.css - combined styles for index.html */
/* Sources: main.css (used rules only), editor.css, inline styles */

/* --- Base / Body --- */

body {
    font-family: 'Lora', 'Times New Roman', serif;
    font-size: 18px;
    color: #404040;
    position: relative;
    background: #fff;
    display: flex;
    flex-flow: column;
    height: 100vh;
    margin: auto;
    padding: 0;
    overflow: hidden;
    padding-top: 17px;
}

h1,
h2,
h3,
h4,
h5,
h6 {
    font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;
    font-weight: 800;
    margin: 15px 0 0 0;
}

img {
    display: block;
    margin: auto;
    max-width: 100%;
}

/* --- Layout --- */

.container[role=main] {
    width: 100%;
    flex: initial;
    margin: auto;
    padding: 0 12px;
    margin-bottom: 50px;
}

.row {
    margin: auto !important;
    max-width: 100% !important;
    margin-left: 0 !important;
}

/* --- Form controls --- */

textarea {
    display: block;
    width: 100%;
    max-width: 100%;
    resize: none;
    font-family: 'Arial', sans-serif;
    font-size: 10pt;
}

select {
    width: 400px;
}

/* --- Button --- */

.btn {
    display: inline-block;
    padding: 6px 12px;
    font-size: 14px;
    font-weight: 400;
    line-height: 1.42857143;
    text-align: center;
    white-space: nowrap;
    vertical-align: middle;
    cursor: pointer;
    border: 1px solid transparent;
    border-radius: 4px;
    font-family: 'Arial', sans-serif;
    margin-top: 15px;
}

.btn-primary {
    color: #fff;
    background-color: #7256b9;
    border-color: #6245a8;
}

.btn-primary:hover,
.btn-primary:focus {
    color: #fff;
    background-color: #5e43a0;
    border-color: #4e3688;
}

/* --- Ace editor area --- */

#code-area {
    background: #e4e4e4;
}

*,
*::before,
*::after {
    box-sizing: border-box;
    outline: none;
}

/* --- editor.css: warning overlay used by Petr4 eval output --- */

.warning {
    background: rgba(255, 50, 50, 0.3);
    position: absolute;
    width: 100% !important;
    left: 0 !important;
}