body {
    font-family: 'Source Serif Pro', serif;
    padding: 2em;
    margin: 0;
}
#particles-js {
    position: fixed;
    width: 100%;
    height: 100%;
    top: 0;
    left: 0;
    z-index: 0;
    background-color: #66B2FF;
}
.lab-intro {
    font-size: 1.2em;
    font-style: italic;
    color: #002855;
    text-align: center;
    max-width: 800px;
    margin: 1.5em auto;
    padding: 1em 2em;
    line-height: 1.6;
    background: rgba(255, 255, 255, 0.12);
    backdrop-filter: blur(6px);
    border-radius: 12px;
    box-shadow: 0 6px 20px rgba(0, 0, 0, 0.1);
}
.center-wrapper {
    display: flex;
    flex-direction: column;
    justify-content: center;
    align-items: center;
    min-height: 100vh;
    padding: 2rem;
}

.global-header {
    background-color: #333;
    color: #ffffff;
    padding: 16px 18px;
    font-family: "Helvetica Neue", Arial, sans-serif;
    font-size: 18px;
    text-align: right;
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    z-index: 1000;

}


body > *:not(#particles-js):not(.global-header) {
    position: relative;
    z-index: 1;
    padding-top: 40px;
}
.container {
    max-width: 800px;
    margin: auto;
}
.top-bar h1{
    background-color: #2F2C2D;
    color: #66ccff;
    padding: 1em 2em;
    text-align: center;
    font-size: 2em;
    font-family: 'Source Serif Pro', serif;
    border-radius: 16px;
    box-shadow: 0 4px 10px rgba(0, 0, 0, 0.3);
}
.top-bar h1{
    margin: 0;
    margin-bottom: 10px;
}
.center-text {
    text-align: center;
    font-size: 1.25rem;
    font-style: italic;
    color: #002855;
    margin-bottom: 2rem;
    opacity: 0;
}

h1 {
    font-size: 3em;
    color: #0000ff;
    text-align: center;
}
h2 {
    color: #0000ff;
}
.section {
    margin-top: 2em;
    padding: 1em;
    background-color: rgba(255, 255, 255, 0.65);
    border-left: 4px solid  #0000ff;
    border-radius: 16px;
}
.section u1 {
    margin-left: 1.5em;
    padding-left: 0.5em;
}
.footer-logo-wrapper {
    /* center the logo horizontally */
    display: flex;
    justify-content: center;
    
    /* give it breathing room above the footer */
    margin-top: 2rem;
    margin-bottom: 1rem;
    
    /* ensure it layers above the particle canvas */
    position: relative;
    z-index: 1;
}

.footer-logo {
    /* size the logo to taste */
    display: block;   /* make margin:auto center horizontally */
    margin: 2rem auto 1rem; /* 2rem above, 1rem below, auto left/right */
    width: 4rem;     /* e.g. 64px wide */
    height: auto;
    position: relative;
    z-index: 1;
    
    /* optional: a subtle drop shadow for depth */
    box-shadow: 0 2px 8px rgba(0,0,0,0.15);
}

footer {
    margin-top: 4em;
    text-align: center;
    color: #0000ff;
}
a {
    color: #66ccff;
}
/* ── Bottom Clocks Bar ── */
.bottom-clock-bar {
    background-color: #2F2C2D;    /* same as .top-bar h1 */
    padding: 16px 0;
    margin-top: 2em;
}

/* arrange all clocks in one row */
#clocks-container {
    display: flex;
    justify-content: space-around;
    align-items: flex-start;
    flex-wrap: nowrap;            /* force one line */
    overflow-x: auto;             /* scroll if too many */
    max-width: 100%;
    margin: 0 auto;
    padding: 0 1em;
}

/* individual clock “cards” */
.test-clock {
    flex: 0 0 auto;
    background: #f8f9fa;
    border-radius: 12px;
    padding: 12px;
    text-align: center;
    border: 1px solid #ddd;
    box-shadow: 0 4px 12px rgba(0,0,0,0.06);
    margin: 0 8px;
}

.test-clock .time-title,
.test-clock .digital {
    color: #00BFFF;               /* keep your signature blue */
    font-family: 'Courier New', monospace;
    margin-bottom: 6px;
    font-weight: bold;
}

/* shrink the canvas if needed */
.test-clock canvas {
    width: 80px !important;
    height: 80px !important;
    border-radius: 50%;
    background: #fff;
}

/* ── Force the clock-bar to bleed full-width ── */
.bottom-clock-bar {
    position: relative;     /* so we can shift it */
    left: 50%;              /* start in the middle */
    margin-left: -50vw;     /* pull back by half the viewport */
    width: 100vw;           /* then span the full viewport width */
    box-sizing: border-box; /* include padding in that width */
    background-color: #2F2C2D;
    padding: 60px 0 80px;
    overflow-x: auto;       /* allow horizontal scroll if needed */
}

/* if you notice a horizontal scrollbar on mobile, you can hide it: */
body {
    overflow-x: hidden;
}

/* ── OEIS Explorer Styles ── */
#oeis-explorer form {
    display: flex;
    flex-wrap: wrap;
    gap: 0.75rem;
    margin-top: 0.5rem;
    align-items: center;
}

#oeis-explorer input {
    flex: 1 1 260px;
    padding: 10px 14px;
    font-size: 1rem;
    border: 1px solid #66ccff;
    border-radius: 10px;
    background: #f5faff;
    font-family: 'Source Serif Pro', serif;
    outline: none;
    transition: box-shadow 0.25s ease;
}

#oeis-explorer input:focus {
    box-shadow: 0 0 0 3px rgba(102,204,255,0.35);
}

#oeis-explorer button {
    background: #002855;
    color: #fff;
    border: none;
    padding: 10px 18px;
    border-radius: 10px;
    font-size: 0.95rem;
    cursor: pointer;
    letter-spacing: 0.5px;
    transition: background 0.25s ease, transform 0.1s ease;
}

#oeis-explorer button:hover {
    background: #005ea5;
}

#oeis-explorer button:active {
    transform: translateY(1px);
}

#oeis-feedback {
    margin-top: 0.4rem;
    font-size: 0.85rem;
    color: #002855;
    min-height: 1.2em;
    font-style: italic;
}

#oeis-frame-wrapper {
    margin-top: 1rem;
    width: 100%;
    background: rgba(255,255,255,0.55);
    border: 1px solid #66ccff;
    border-radius: 14px;
    overflow: hidden;
    box-shadow: 0 4px 14px rgba(0,0,0,0.08);
}

#oeis-frame {
    width: 100%;
    height: 600px;
    border: none;
    background: #fff;
}

#doe-tool form {
  display:flex; flex-wrap:wrap; gap:0.75rem; margin-top:0.6rem;
}
#doe-tool input, #doe-tool select {
  padding:8px 10px; border:1px solid #66ccff; border-radius:8px;
  background:#f5faff; font-family:'Source Serif Pro', serif;
}
#doe-tool button {
  background:#002855; color:#fff; border:none; padding:8px 16px;
  border-radius:10px; cursor:pointer; transition:background .25s;
}
#doe-tool button:hover { background:#005ea5; }
#doe-tool table { border-collapse:collapse; width:100%; background:rgba(255,255,255,0.55); border-radius:12px; overflow:hidden; }
#doe-tool th, #doe-tool td { padding:6px 8px; border:1px solid #cfe7ff; font-size:0.78rem; text-align:center; }
#doe-tool .alias-box { font-size:0.7rem; margin-top:0.6rem; line-height:1.3; background:rgba(255,255,255,0.4); padding:6px 8px; border-radius:8px; }



/* ── PDF Manager Styles ── */
#pdf-manager h2 {
    color: #0000ff;
    margin-bottom: 1rem;
}
#pdfUploadForm {
    display: flex;
    gap: 1rem;
    margin-bottom: 1rem;
    align-items: center;
}
#pdfUploadForm input[type="file"] {
    padding: 8px;
    background: #f5faff;
    border: 1px solid #66ccff;
    border-radius: 8px;
    font-family: 'Source Serif Pro', serif;
}
#pdfUploadForm button {
    background: #002855;
    color: #fff;
    border: none;
    padding: 8px 16px;
    border-radius: 8px;
    cursor: pointer;
    transition: background 0.25s ease;
}
#pdfUploadForm button:hover {
    background: #005ea5;
}
#pdfTable {
    width: 100%;
    border-collapse: collapse;
    background: rgba(255,255,255,0.65);
    border-radius: 12px;
    overflow: hidden;
}
#pdfTable th,
#pdfTable td {
    border: 1px solid #cfe7ff;
    padding: 8px;
    text-align: center;
    font-size: 0.9rem;
}
#pdfTable th {
    background: #002855;
    color: #fff;
}