body {
    font-family: 'Arial', sans-serif;
    background-color: #f7f7f7;
    color: #333;
    line-height: 1.6;
    margin: 0;
    padding: 0;
    padding-top: 50px;
}

h1 {
    text-align: center;
    color: #2c3e50;
}

textarea {
	width: 50%;
	height: 400px;
	padding: 15px;
	font-size: 16px;
	line-height: 1.6;
	border: 1px solid #ccc;
	border-radius: 5px;
	resize: none;
}

.title-container {
	margin: 20px 0;
	text-align: center;
}

#page-title {
	width: 50%;
	padding: 10px;
	font-size: 1.2em;
	border: 2px solid #ddd;
	border-radius: 10px;
	box-shadow: 0 2px 5px rgba(0, 0, 0, 0.1);
	outline: none;
	transition: border-color 0.3s;
	max-width: 1120px;
}

#page-title:focus {
	border-color: #000000;
	box-shadow: 0 2px 5px rgba(0, 0, 0, 0.2);
}

.content-container {
    width: 86%;
    max-width: 1120px;
    margin: 20px auto;
    padding: 20px;
    background-color: white;
    border-radius: 8px;
    box-shadow: 0 4px 8px rgba(0, 0, 0, 0.1);
}

.editor-container {
	width: 86%;
	max-width: 1120px;
	margin: 20px auto;
	padding: 20px;
	background-color: white;
	border-radius: 8px;
	box-shadow: 0 4px 8px rgba(0, 0, 0, 0.1);
}

.editor-header {
	display: flex;
	justify-content: space-between;
	align-items: center;
	margin-bottom: 20px;
}

.editor-header select {
	padding: 10px;
	border-radius: 5px;
	border: 1px solid #ccc;
	font-size: 16px;
}

.editor-header button {
	background-color: #2c3e50;
	color: white;
	padding: 10px 15px;
	border: none;
	border-radius: 5px;
	cursor: pointer;
	font-size: 16px;
}

.editor-header button:hover {
	background-color: #34495e;
}

.editor-area {
	display: flex;
	gap: 20px;
}

.preview {
	width: 50%;
	height: 400px;
	padding: 15px;
	font-size: 16px;
	line-height: 1.6;
	border: 1px solid #ccc;
	border-radius: 5px;
	background-color: #f7f7f7;
	overflow-y: auto;
}

.preview .definition, .preview .axiom, .preview .lemma, 
.preview .theorem, .preview .corollary, .preview .conjecture {
	font-weight: bold;
	margin-top: 20px;
}

.blue-container {
    background-color: #eaf2f8;
    border-left: 5px solid #3498db;
    padding: 10px 20px;
    margin: 20px 0;
    border-radius: 8px;
}

.blue-container h2 {
    margin: 0;
    color: #2980b9;
    font-weight: 300;
}

.blue-proof {
    margin-top: 15px;
    padding: 10px 30px 20px 30px;
    background-color: #f9f9f9;
    border-left: 4px solid #3498db;
    display: none;
    margin-top: 10px;
}

.blue-toggle-button {
    background-color: #3498db;
    color: white;
    padding: 8px 12px;
    border: none;
    border-radius: 5px;
    cursor: pointer;
    font-size: 14px;
    margin-top: 10px;
}

.blue-toggle-button:hover {
    background-color: #2980b9;
}

.brown-container {
    background-color: #fbe9d5;
    border-left: 5px solid #e67e22;
    padding: 10px 20px;
    margin: 20px 0;
    border-radius: 8px;
}

.brown-container h2 {
    margin: 0;
    color: #d35400;
    font-weight: 300;
}

.brown-proof {
    margin-top: 15px;
    padding: 10px 30px 20px 30px;
    background-color: #f9f9f9;
    border-left: 4px solid #e67e22;
    display: none;
    margin-top: 10px;
}

.brown-toggle-button {
    background-color: #e67e22;
    color: white;
    padding: 8px 12px;
    border: none;
    border-radius: 5px;
    cursor: pointer;
    font-size: 14px;
    margin-top: 10px;
}

.brown-toggle-button:hover {
    background-color: #d35400;
}

.red-container {
    background-color: #fce4e4;
    border-left: 5px solid #e74c3c;
    padding: 10px 20px;
    margin: 20px 0;
    border-radius: 8px;
}

.red-container h2 {
    margin: 0;
    color: #c0392b;
    font-weight: 300;
}

.red-proof {
    margin-top: 15px;
    padding: 10px 30px 20px 30px;
    background-color: #f9f9f9;
    border-left: 4px solid #e74c3c;
    display: none;
    margin-top: 10px;
}

.red-toggle-button {
    background-color: #e74c3c;
    color: white;
    padding: 8px 12px;
    border: none;
    border-radius: 5px;
    cursor: pointer;
    font-size: 14px;
    margin-top: 10px;
}

.red-toggle-button:hover {
    background-color: #c0392b;
}

.purple-container {
    background-color: #f3e5f5;
    border-left: 5px solid #9b59b6;
    padding: 10px 20px;
    margin: 20px 0;
    border-radius: 8px;
}

.purple-container h2 {
    margin: 0;
    color: #8e44ad;
    font-weight: 300;
}

.purple-proof {
    margin-top: 15px;
    padding: 10px 30px 20px 30px;
    background-color: #f9f9f9;
    border-left: 4px solid #9b59b6;
    display: none;
    margin-top: 10px;
}

.purple-toggle-button {
    background-color: #9b59b6;
    color: white;
    padding: 8px 12px;
    border: none;
    border-radius: 5px;
    cursor: pointer;
    font-size: 14px;
    margin-top: 10px;
}

.purple-toggle-button:hover {
    background-color: #8e44ad;
}

.green-container {
    background-color: #e8f5e1;
    border-left: 5px solid #27ae60;
    padding: 10px 20px;
    margin: 20px 0;
    border-radius: 8px;
}

.green-container h2 {
    margin: 0;
    color: #2c6f41;
    font-weight: 300;
}

.green-proof {
    margin-top: 15px;
    padding: 10px 30px 20px 30px;
    background-color: #f9f9f9;
    border-left: 4px solid #27ae60;
    display: none;
    margin-top: 10px;
}

.green-toggle-button {
    background-color: #27ae60;
    color: white;
    padding: 8px 12px;
    border: none;
    border-radius: 5px;
    cursor: pointer;
    font-size: 14px;
    margin-top: 10px;
}

.green-toggle-button:hover {
    background-color: #2c6f41;
}

.grey-container {
    background-color: #f1f1f1;
    border-left: 5px solid #7f8c8d;
    padding: 10px 20px;
    margin: 20px 0;
    border-radius: 8px;
}

.grey-container h2 {
    margin: 0;
    color: #616161;
    font-weight: 300;
}

.grey-proof {
    margin-top: 15px;
    padding: 10px 30px 20px 30px;
    background-color: #f9f9f9;
    border-left: 4px solid #7f8c8d;
    display: none;
    margin-top: 10px;
}

.grey-toggle-button {
    background-color: #7f8c8d;
    color: white;
    padding: 8px 12px;
    border: none;
    border-radius: 5px;
    cursor: pointer;
    font-size: 14px;
    margin-top: 10px;
}

.grey-toggle-button:hover {
    background-color: #616161;
}

.paragraph {
    margin-bottom: 20px;
    font-size: 16px;
}

.MathJax {
    font-size: 1.1em !important;
}

a:link, a:visited {
    color: inherit;
    text-decoration: none;
}

mjx-container[jax="CHTML"][display="true"] {
    overflow-x: hidden;
	overflow-y: hidden;
	transition: overflow-x 0.2s;
	max-width: 100%;
}

mjx-container[jax="CHTML"][display="true"]:hover {
	overflow-x: auto;
}

mjx-container[jax="CHTML"][display="true"]::-webkit-scrollbar {
    width: 8px;  /* Scrollbar width */
    height: 8px; /* Horizontal scrollbar height */
}

mjx-container[jax="CHTML"][display="true"]::-webkit-scrollbar-track {
    background: #f1f1f1; /* Light gray track */
}

mjx-container[jax="CHTML"][display="true"]::-webkit-scrollbar-thumb {
    background: rgba(0, 0, 0, 0.2); /* Light gray thumb */
    border-radius: 10px; /* Rounded thumb for a smoother look */
}

mjx-container[jax="CHTML"][display="true"]::-webkit-scrollbar-thumb:hover {
    background: rgba(0, 0, 0, 0.3); /* Slightly darker thumb on hover */
}