/* Sticky footer styles
 * -------------------------------------------------- */
html {
    position: relative;
    min-height: 100%;
}
body {
    /* Margin bottom by footer height */
    margin-bottom: 60px;
}
.footer {
    position: absolute;
    bottom: 0;
    width: 100%;
    height: 30px;
    line-height: 30px;
    font-size: 1.0em;
    background-color: #f5f5f5;
}


/* Custom page CSS
 * -------------------------------------------------- */
/* Not required for template or sticky footer method. */

body > .container {
    padding: 80px 15px 0;
}

.footer > .container {
    padding-right: 15px;
    padding-left: 15px;
}

code {
    font-size: 80%;
}

.sequence {
    font-size: 200%;
}

#result {
    text-align: left;
    /* margin: auto; */
}

form {
    margin-top: 50px;
}

.hidden {
    display: none;
}

.button > button , .button > label {
    float: left;
    margin: 2.5px 2px;
}

.button > #uploadButton {
    float: right;
    margin: 2.5px 2px;
}

pre {
    width:930px;  
    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+ */
}

textarea {  
    /* box-sizing: padding-box; */
    background-color: rgb(248, 245, 241);
    /* demo only: */
    padding:10px;
    width:100%;
    font-size:14px;
    margin:20px auto;
    display:block;
    border-radius:10px;
    border:3px solid #556677;
}

#log {
    /* display: none; */
    font-size:8px;
}