@import url('https://fonts.googleapis.com/css2?family=Roboto:wght@400;700&display=swap');

body {
    font-family: 'Roboto', sans-serif;
    color: #333;
    background-color: #f4f4f4;
    margin: 0;
    padding: 0;
}

.container {
    display: grid;
    grid-template-areas:
        "top top top"
        "left center right";
    grid-template-columns: 1fr 1fr 1fr;
    grid-template-rows: auto 1fr;
    width: 90%;
    margin: auto;
    gap: 20px;
}

#top-navigation {
    grid-area: top;
    background-color: #fff;
    padding: 20px;
    box-shadow: 0 2px 4px rgba(0, 0, 0, 0.1);
}

#left-content, #center-content, #right-content {
    background-color: #fff;
    padding: 20px;
    box-shadow: 0 2px 4px rgba(0, 0, 0, 0.1);
}

#state-elem-stack {
    max-height: 50vh;
    overflow-y: auto;
}

input[type='submit'] {
    background-color: #00336a;
    color: #fff;
    border: none;
    padding: 10px 20px;
    border-radius: 5px;
    cursor: pointer;
    transition: background-color 0.3s ease;
}

input[type='submit']:hover, input[type='submit']:focus {
    background-color: #0056b3;
}

input, textarea {
    width: 100%;
    padding: 10px;
    border: 1px solid #ddd;
    border-radius: 5px;
    box-sizing: border-box;
}

main {
    display: flex;
    flex-wrap: wrap;
    justify-content: space-around;
    width: 80%;
    margin: 0 auto;
}

.tile {
    width: 200px;
    height: 200px;
    margin: 10px;
    padding: 10px;
    background-color: #fff;
    text-align: center;
}

.tile img {
    width: 100%;
    height: auto;
}

.tile a {
    text-decoration: none;
    color: #1d1c1c;
}

.button-container {
    display: flex;
    gap: 10px;
}

table {
    width: 1%; /* Reduce the width to make the table smaller */
    border-collapse: collapse;
    margin-bottom: 20px;
    font-family: monospace; /* Use the same monospace font as <pre> */
}

th, td {
    width: 1%; /* Set a small width */
    white-space: nowrap; /* Prevent the content from wrapping */
    border: 1px solid #ddd;
    padding: 8px;
    text-align: left;
}

th {
    border-color: #00336a; /* Add a border of the blue color */
    color: #000; /* Change the text color to black */
    background-color: #fff; /* Change the background color to white */
}

tr:nth-child(even) {
    background-color: #f2f2f2;
}