html {
    font-family: roboto, arial, sans-serif;
    color: #fff;
    background-color: #444444; /* header/footer background */
}

h1 {
    font-size: 160%;
    color: #444;
    margin: 1em 0 1.5em 0;
}

h2 {
    font-size: 140%;
    margin: 1.5em 0 1em 0;
}

h3 {
    font-size: 120%;
    margin: 1.5em 0 1em 0;
}

.site-title {
    display: block;
    font-size: 160%;
    color: #fff;
    text-decoration: none;
    text-align: center; 
}

.site-subtitle {
    display: block;
    font-size: 140%;
    color: #fff;
    text-decoration: none;
    text-align: center; 
    margin: .25em;
}

.site-authors {
    display: block;
    /*font-size: 140%;*/
    color: #fff;
    text-decoration: none;
    text-align: center; 
    margin: .75em;
}

a.site-title:hover {
    text-decoration: underline
}

a.chapter-link {
    color: #095AD3;
}

.page-content-wrapper {
    background-color: #a3a3a3;
    overflow: visible;
}

.page-content {
    line-height: 23px;
    padding: 40px;
    background-color: #fff;
    color: #000;
    min-height: 500px;
    max-width: 750px;
    margin-right: auto;
    margin-left: auto; 
    overflow: visible;
}

.page-content .CodeMirror-lines, .page-content .wpedit .result {
    padding: 5px;
    line-height: 18px;
}

.page-content .wpedit button.run, .page-content .wpedit button.cancel {
    font-size: 12px;
}

.page-content .wpedit .result pre {
    font-size: 12px;
    margin: 5px;
}

.page-content .wpedit .result pre.error {
    color: red;
    background-color: #fff;
}

.page-content > p > img {
    display: block;
    margin: auto;
    padding: 20px;
}

.MathJax_Preview {
    color: #888
}

.math_finished .MathJax_Preview {
    display: none
}

ol li {
    list-style-type: upper-roman
}
ol li ol li {
    list-style-type: decimal;
}

header, footer {
    padding: 30px;
}

header.site-header {
    border-bottom: 1px solid #e5e5e5;
}

footer {
    font-size: 80%;
    text-align: center;
    border-top: 1px solid #e5e5e5;
}

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

footer a:hover {
    color: #fff;
    text-decoration: underline;
}

/* Enhanced footer styles */
.license-info {
    font-size: 0.9em;
    margin-top: 0.25em;
}

.social-links {
    margin-bottom: 0.5em;
}

.github-link {
    display: inline-flex;
    align-items: center;
    gap: 0.5em;
    padding: 0.25em 0.5em;
    border-radius: 4px;
    transition: background-color 0.2s ease;
}

.github-link:hover {
    background-color: rgba(255, 255, 255, 0.1);
    text-decoration: none;
}

.github-icon {
    transition: transform 0.2s ease;
}

.github-link:hover .github-icon {
    transform: scale(1.1);
}

.footer-nav {
    margin-bottom: 0.5em;
}

.footer-nav a {
    font-size: 0.9em;
    margin: 0 0.25em;
}

.nav-separator {
    color: #888;
    margin: 0 0.5em;
}

.last-updated {
    font-size: 0.85em;
    color: #999;
}

.edit-link {
    font-size: 0.9em;
}

.footer-content {
    display: flex;
    justify-content: space-between;
    align-items: center;
    max-width: 750px;
    margin: 0 auto;
    flex-wrap: wrap;
}

.footer-left, .footer-center, .footer-right {
    flex: 1;
    margin: 0.5em 0;
}

.footer-left {
    text-align: left;
}

.footer-center {
    text-align: center;
}

.footer-right {
    text-align: right;
}

@media (max-width: 768px) {
    .footer-content {
        flex-direction: column;
        text-align: center;
    }
    
    .footer-left, .footer-center, .footer-right {
        text-align: center;
        margin: 0.25em 0;
    }
}


blockquote {
	position:relative;
	margin: 30px auto 5px auto;
	padding: 10px;
/*	background: url(schatten.png) no-repeat bottom right !important;
 	background: url(schatten.gif) no-repeat bottom right;*/
	border: 2px #616c7a solid;
	background-color: #b7cae5;
}

/* ThebeLab Styling */
.thebe-activate-button {
    position: fixed;
    top: 10px;
    right: 10px;
    background-color: #095AD3;
    color: white;
    border: none;
    padding: 10px 15px;
    border-radius: 5px;
    cursor: pointer;
    font-size: 14px;
    z-index: 1000;
}

.thebe-activate-button:hover {
    background-color: #0747a6;
}

/* Enhanced Run Button Styling */
.thebe-run-button {
    background: linear-gradient(135deg, #28a745, #20c997) !important;
    color: white !important;
    border: none !important;
    padding: 8px 16px !important;
    border-radius: 6px !important;
    font-size: 14px !important;
    font-weight: 500 !important;
    cursor: pointer !important;
    transition: all 0.3s ease !important;
    box-shadow: 0 2px 4px rgba(40, 167, 69, 0.3) !important;
    position: relative !important;
    min-width: 80px !important;
}

.thebe-run-button:hover:not(:disabled) {
    background: linear-gradient(135deg, #218838, #1e7e34) !important;
    box-shadow: 0 4px 8px rgba(40, 167, 69, 0.4) !important;
    transform: translateY(-1px) !important;
}

.thebe-run-button:active:not(:disabled) {
    transform: translateY(0) !important;
    box-shadow: 0 2px 4px rgba(40, 167, 69, 0.3) !important;
}

/* Running state styling */
.thebe-run-button.running {
    background: linear-gradient(135deg, #17a2b8, #138496) !important;
    cursor: not-allowed !important;
    position: relative !important;
}

.thebe-run-button.running::before {
    content: '';
    position: absolute;
    left: 8px;
    top: 50%;
    transform: translateY(-50%);
    width: 16px;
    height: 16px;
    border: 2px solid transparent;
    border-top: 2px solid white;
    border-radius: 50%;
    animation: spin 1s linear infinite;
}

.thebe-run-button.running .button-text {
    margin-left: 24px;
}

@keyframes spin {
    0% { transform: translateY(-50%) rotate(0deg); }
    100% { transform: translateY(-50%) rotate(360deg); }
}

/* Disabled Thebe run button styling */
.thebe-run-button:disabled {
    background: linear-gradient(135deg, #6c757d, #5a6268) !important;
    color: #fff !important;
    opacity: 0.7 !important;
    cursor: not-allowed !important;
    box-shadow: none !important;
    transform: none !important;
}

.thebe-run-button:disabled:hover {
    background: linear-gradient(135deg, #6c757d, #5a6268) !important;
    transform: none !important;
    box-shadow: none !important;
}

/* Pulse effect for successful execution */
.thebe-run-button.success {
    animation: successPulse 0.6s ease-out;
}

@keyframes successPulse {
    0% {
        background: linear-gradient(135deg, #28a745, #20c997);
        box-shadow: 0 2px 4px rgba(40, 167, 69, 0.3);
    }
    50% {
        background: linear-gradient(135deg, #34ce57, #2dd4aa);
        box-shadow: 0 0 20px rgba(40, 167, 69, 0.6);
        transform: scale(1.05);
    }
    100% {
        background: linear-gradient(135deg, #28a745, #20c997);
        box-shadow: 0 2px 4px rgba(40, 167, 69, 0.3);
        transform: scale(1);
    }
}

/* Notification messages */
.kernel-not-ready-message,
.execution-in-progress-message {
    border: 1px solid rgba(0,0,0,0.1);
    animation: slideInFromRight 0.3s ease-out;
}

@keyframes slideInFromRight {
    from {
        transform: translateX(100%);
        opacity: 0;
    }
    to {
        transform: translateX(0);
        opacity: 1;
    }
}

.thebe-cell {
    border: 1px solid #ddd;
    border-radius: 5px;
    margin: 10px 0;
    padding: 10px;
    background-color: #f8f9fa;
}

.thebe-input {
    font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', monospace;
    font-size: 14px;
    background-color: #f8f8f8;
    border: 1px solid #ddd;
    border-radius: 3px;
    padding: 10px;
    margin-bottom: 10px;
}

.thebe-output {
    background-color: white;
    border: 1px solid #ddd;
    border-radius: 3px;
    padding: 10px;
    font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', monospace;
    font-size: 12px;
}