html {
	  font-size: 16px;
	}


    body {
        font-family: monospace;
        margin: 4rem;
        padding: 0;
        font-size: 1rem;
        overflow-x: hidden;
    }
    .center { text-align: center; }
    .header-big { font-size: 4rem; font-weight: bold; margin-bottom: 0.375rem; }
    .header-small { font-size: 1rem; font-weight: bold; margin-bottom: 0.375rem; }
    .divider { border-top: 0.1875rem solid black; margin-top: 0.375rem; margin-bottom: 0.375rem; }
    .divider_minor { border-top: 0.1875rem solid #ccc; margin-top: 0.375rem; margin-bottom: 0.375rem; }
    .nav { margin-bottom: 0.375rem; font-size: 1rem; text-align: center; }
    a { color: black; text-decoration: underline; }


    .search-bar { margin: 0.375rem 0 0.75rem 0; }

    .code-block { overflow-x: auto; width: 100%; white-space: pre; text-align: center}
	
	.code-block-abt { overflow-x: auto; width: 100%; white-space: pre-wrap}

    .hidden { display: none; }
    /* ---------- section header + inline search (baseline aligned) ---------- */
    .section-header {
        display: flex;
        align-items: center;   /* <-- key: align text baselines, not boxes */
        gap: 0.75rem;
        margin-top: 1.875rem;        /* spacing above the whole header block */
        justify-content: center;
    }

    /* Make the title behave like inline text (no block-level wrapping) */
    .section-title {
        display: inline-block;
        margin: 0;               /* remove default margins so it doesn't push line */
        padding: 0;
        font-size: 1.6rem;     /* ~24px if base font is 10.375rem — adjust as needed */
        font-weight: bold;
        line-height: 1;          /* tight line-height so baseline is predictable */

    }

    /* Make the input behave like text (matching font size & baseline) */
    .section-header .search-bar {
        font-family: inherit;
        font-size: 1rem;         /* match the body / primary text size */
        line-height: 1;          /* match the title line-height logic */
        padding: 0.12rem 0.4rem;   /* compact padding that won't shift baseline */
        border: 1px solid #000;
        box-sizing: border-box;
        height: auto;            /* let flexbox compute height; don't harden height */
        transform: translateY(2px);
        margin: 0;
    }
		/* Shrink global scale on phones */
	@media (max-width: 600px) {
		html {
			font-size: 8px; /* from 16px down to 13px */
		}
	}

	/* Extra small devices (old iPhones, tiny screens) */
	@media (max-width: 400px) {
		html {
			font-size: 6px;
		}
	}