html, body {
    height: 100%;
    margin: 0;
    padding: 0;
}

body {
    font-family: Arial, sans-serif;
    background-color: #f5f5f5;
    display: flex;
    flex-direction: column;
    min-height: 100vh;
}

.wrapper {
    flex: 1 0 auto;
    padding: 10px;
    display: flex;
    flex-direction: column;
}

.container {
    width: 95%;
    margin: 0 auto;
    flex: 1;
    display: flex;
    flex-direction: column;
}

h1 {
    text-align: center;
    color: #333;
}

.editor-container {
    display: flex;
    gap: 20px;
    margin-top: 20px;
    flex: 1;
    height: calc(100vh - 140px);
}

.input-section, .output-section {
    flex: 1;
    background-color: white;
    padding: 15px;
    border-radius: 8px;
    box-shadow: 0 2px 4px rgba(0, 0, 0, 0.1);
    display: flex;
    flex-direction: column;
    width: calc(50% - 10px);
    box-sizing: border-box;
}

h2 {
    margin-top: 0;
    color: #444;
}

#latex-input {
    width: 100%;
    flex: 1;
    padding: 10px;
    border: 1px solid #ddd;
    border-radius: 4px;
    font-family: monospace;
    font-size: 16px;
    line-height: 1.6;
    resize: none;
    box-sizing: border-box;
    overflow: auto;
}

#latex-output {
    flex: 1;
    padding: 10px 30px;
    border: 1px solid #ddd;
    border-radius: 4px;
    background-color: #fff;
    overflow: auto;
    font-family: "Times New Roman", Times, serif;
    font-size: 18px;
    line-height: 1.8;
    color: #222;
    text-align: justify;
    hyphens: auto;
}

#latex-output p {
    margin-bottom: 1.2em;
    text-indent: 2em;
}

#latex-output .MathJax {
    font-size: 120%;
}

#latex-output .MathJax[display="block"] {
    margin: 1.5em 0;
}

#latex-output ol, #latex-output ul {
    padding-left: 2em;
    margin: 1em 0;
}

#latex-output li {
    margin-bottom: 0.5em;
}

#latex-output ul {
    list-style-type: disc;
}

#latex-output ul ul {
    list-style-type: circle;
}

#latex-output ul ul ul {
    list-style-type: square;
}

#latex-output .theorem,
#latex-output .proposition,
#latex-output .proof,
#latex-output .lemma {
    margin: 1.5em 0;
    padding: 0.8em 1em;
    border-radius: 4px;
}

#latex-output .theorem,
#latex-output .proposition,
#latex-output .lemma {
    background-color: #f8f9fa;
    border-left: 4px solid #0056b3;
}

#latex-output .proof {
    background-color: #fff;
    border-left: 4px solid #6c757d;
}

#latex-output .theorem-header,
#latex-output .proposition-header,
#latex-output .proof-header,
#latex-output .lemma-header {
    font-weight: bold;
    margin-bottom: 0.5em;
}

#latex-output .theorem-header,
#latex-output .proposition-header,
#latex-output .lemma-header {
    color: #0056b3;
}

#latex-output .proof-header {
    color: #6c757d;
}

#latex-output .proof::after {
    content: "□";
    float: right;
    margin-top: 1em;
}

.footer {
    flex-shrink: 0;
    text-align: center;
    padding: 10px 0;
    color: #666;
    font-size: 14px;
    border-top: 1px solid #eee;
    background-color: white;
    width: 100%;
}

.footer a {
    color: #333;
    text-decoration: none;
}

.footer a:hover {
    text-decoration: underline;
}