body {
    font-family: Arial, sans-serif;
    background-color: #002B36;
    color: #839496;
    text-align: center;
    margin: 0;
    padding: 0;
}

header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 10px 20px;
    background-color: #073642;
}

.logo {
    display: flex;
    align-items: center;
}

.logo img {
    height: 40px;
    margin-right: 10px;
}

.logo span {
    font-size: 1.5em;
    color: #93a1a1;
}

.buttons {
    display: flex;
}

.buttons a {
    margin: 0 10px;
    position: relative;
    color: #93a1a1;
    font-size: 24px;
}

.buttons a:hover::after {
    content: attr(title);
    position: absolute;
    background: #002b36;
    color: #93a1a1;
    padding: 5px 10px;
    border-radius: 5px;
    top: 40px;
    white-space: nowrap;
    font-size: 0.9em;
    z-index: 1;
}

h1 {
    color: #93a1a1;
    padding: 20px 0;
}

form {
    margin: 20px auto;
    padding: 20px;
    border: 1px solid #93a1a1;
    background-color: #073642;
    width: 80%;
    max-width: 600px;
    box-shadow: 0 0 10px rgba(0, 0, 0, 0.1);
}

textarea {
    width: 100%;
    padding: 10px;
    border: 1px solid #93a1a1;
    border-radius: 5px;
    font-size: 16px;
    background-color: #002b36;
    color: #839496;
}

input[type="submit"] {
    background-color: #268bd2;
    color: white;
    border: none;
    padding: 10px 20px;
    text-transform: uppercase;
    font-size: 14px;
    cursor: pointer;
    border-radius: 5px;
}

input[type="submit"]:hover {
    background-color: #2aa198;
}

pre {
    white-space: pre-wrap;
    word-wrap: break-word;
    margin: 20px auto;
    padding: 0;
    color: #839496;
    text-align: left;
    background-color: #002B36;
    counter-reset: line;
}

.numbered-lines {
    position: relative;
    padding-left: 3em;
}

.numbered-lines::before {
    counter-increment: line;
    content: counter(line);
    display: block;
    text-align: right;
    width: 2em;
    position: absolute;
    left: 0;
    color: #586e75;
}

.numbered-lines span {
    display: block;
    padding-left: 1em;
}

.line {
    color: orange;
}