body {
    font-family: 'Arial', sans-serif;
    background-color: #1c1c1c;
    color: #e0e0e0;
    max-width: 75%;
    margin: 0 auto;
    padding: 20px;
    border-radius: 10px;
}

h1 {
    color: #ff7f50;
    text-align: center;
    font-size: 2.5rem;
    margin-bottom: 10px;
}

p {
    text-align: center;
    color: #a9a9a9;
    font-size: 1rem;
    margin-bottom: 20px;
}

textarea, button {
    width: 100%;
    margin-bottom: 10px;
    background-color: #2b2b2b;
    border: 1px solid #3d3d3d;
    color: #f0f0f0;
    padding: 15px;
    border-radius: 8px;
    transition: background-color 0.3s, border-color 0.3s;
}

textarea {
    font-family: 'Courier New', monospace;
    font-size: 1rem;
    resize: vertical;
    min-height: 100px;
}

button {
    background-color: #ff7f50;
    width: 100%;
    color: #1e1e1e;
    border: none;
    cursor: pointer;
    font-weight: bold;
    font-size: 1.1rem;
}

button:hover {
    background-color: #ff6347;
}

#result {
    background-color: #2b2b2b;
    padding: 20px;
    border-radius: 8px;
    margin-top: 20px;
    overflow-x: auto;
    box-shadow: inset 0px 0px 10px rgba(0, 0, 0, 0.3);
}

.michelson-item {
    margin: 5px 0;
    padding: 10px;
    border-radius: 8px;
    display: flex;
    align-items: center;
    font-size: 1rem;
    flex-wrap: wrap;
    background-color: #333;
    box-shadow: 0px 0px 5px rgba(0, 0, 0, 0.5);
}

.michelson-type {
    background-color: #4d4d4d;
    color: #ff7f50;
    padding: 5px 10px;
    border-radius: 8px;
    margin-right: 10px;
    font-weight: bold;
    text-shadow: 1px 1px 2px rgba(0, 0, 0, 0.5);
}

.michelson-value {
    background-color: #3a3a3a;
    color: #68d391;
    padding: 5px 10px;
    border-radius: 8px;
    text-shadow: 1px 1px 2px rgba(0, 0, 0, 0.5);
}

.highlight {
    outline: 3px solid #ff6347;
}

.byte-span {
    cursor: pointer;
    padding: 5px 3px;
    border-radius: 5px;
    transition: background-color 0.2s, transform 0.2s;
}

.byte-span:hover {
    background-color: rgba(255, 127, 80, 0.3);
    transform: scale(1.1);
}

.byte-span.highlight {
    background-color: rgba(255, 99, 71, 0.5);
}

#byteSpanWrapper {
    font-family: 'Courier New', monospace;
    white-space: pre-wrap;
    word-break: break-all;
    background-color: #2b2b2b;
    padding: 15px;
    border-radius: 8px;
    margin-top: 10px;
    font-size: 1rem;
    box-shadow: inset 0px 0px 10px rgba(0, 0, 0, 0.6);
}

.pair-container {
    display: flex;
    flex-direction: column;
    margin-left: 20px;
    padding-left: 10px;
}

.pair-element {
    margin-bottom: 10px;
}

.variant-container {
    display: flex;
    align-items: center;
    margin-left: 20px;
    padding-left: 10px;
}

.sequence-container, .option-container {
    margin-left: 20px;
}