html * {
    font-family: "Lucida Console", Monaco, monospace;
}

.heading {
    text-align: center;
    margin-top: 1cm;
    margin-bottom: 1cm;
}

.subheading {
    text-align: left;
    margin-top: 1cm;
    margin-bottom: 1cm;
}

.main {
    margin: auto;
    width: 50%;
    min-width: 600px;
}
.codeblock {
    white-space: pre;
    background-color: #eee;
    border: 1px solid #999;
    display: block;
    padding: 20px;
}

.multiline_input {
    resize: none;
    width: 100%;
    height: 250px
}

.output {
    background-color: #ddd;
    padding: 5px 5px 5px 5px;
}

/* Add a black background color to the top navigation */
.topnav {
    background-color: #000;
    border-radius: 10px;
    padding-top: 15px;
    padding-bottom: 15px;
    min-width: 800px;
    overflow: hidden;
    text-align: center;
    font-size: 16px;
}

/* Style the links inside the navigation bar */
.navurl {
    padding: 15px 5px 15px 5px;
    color: #fff;
    text-decoration: none;
}

.navactive {
    padding: 15px 5px 15px 5px;
    color: #00e500;
    text-decoration: none;
}

/* Change the color of links on hover */
.navurl:hover {
    background-color: #fff;
    color: #000;
}

/* Add a color to the active/current link */
.navurl:active {
    background-color: #000;
    color: #fff;
}

/* The Modal (background) */
.modal {
    display: none; /* Hidden by default */
    position: fixed; /* Stay in place */
    z-index: 1; /* Sit on top */
    padding-top: 100px; /* Location of the box */
    left: 0;
    top: 0;
    width: 100%; /* Full width */
    height: 100%; /* Full height */
    overflow: auto; /* Enable scroll if needed */
    background-color: rgb(0,0,0); /* Fallback color */
    background-color: rgba(0,0,0,0.4); /* Black w/ opacity */
}

/* Modal Content */
.modal-content {
    background-color: #fefefe;
    margin: auto;
    padding: 20px;
    border: 1px solid #888;
    width: 80%;
}

/* The Close Button */
.close {
    color: #aaaaaa;
    float: right;
    font-size: 28px;
    font-weight: bold;
}

.close:hover,
.close:focus {
    color: #000;
    text-decoration: none;
    cursor: pointer;
}