/* Theme: Academic Blue — Clean academic look with navy headers */
@import url("lwarp.css");

body {
    font-family: "Charter", "Bitstream Charter", "Sitka Text",
        "Linux Libertine O", Georgia, "Times New Roman", serif;
    background: #fdfdfe;
    color: #2c2c2c;
    line-height: 1.65;
}

A:link { color: #1a4f8b; text-decoration: none; }
A:visited { color: #1a4f8b; }
A:hover { color: #0d3266; text-decoration: underline; }

div.book, h1, h2, h3, h4, h5, h6, span.paragraph, span.subparagraph {
    font-family: "Charter", "Bitstream Charter", Georgia, "Times New Roman", serif;
    color: #1a3a5c;
    text-shadow: none;
    font-weight: bold;
}

h1 { background: none; border-bottom: 3px solid #1a3a5c; padding-bottom: 8px; }
h2 { background: none; border-bottom: 2px solid #1a3a5c; padding-bottom: 6px; margin-top: 2em; }
h3 { border-bottom: 1px solid #c0c8d4; padding-bottom: 4px; }
h4, h5, h6 { border-bottom: none; color: #2a4a6c; }

/* Increase monospace (\texttt / <kbd>) size inside headings */
h1 kbd, h2 kbd, h3 kbd, h4 kbd, h5 kbd, h6 kbd {
    font-size: 1.15em;
}

/* Side TOC */
div.sidetoccontainer { background: #f4f6f9; border-right: 1px solid #d0d6e0; }
div.sidetoctitle { color: #1a3a5c; border-bottom: 1px solid #d0d6e0; padding: 8px 10px; }
nav.sidetoc a { color: #2c2c2c; }
nav.sidetoc a:hover { color: #1a4f8b; background: #e8edf5; text-decoration: none; }

/* Content blocks */
.amsthmbodydefinition, .amsthmbodyplain { background: #f7f9fc; border-left: 4px solid #1a4f8b; padding: 12px 16px; margin: 1.5em 0; border-radius: 0 4px 4px 0; }
.amsthmbodygoal { background: #eef4fb; border-left: 4px solid #2980b9; padding: 10px 16px; margin: 1em 0; border-radius: 0 4px 4px 0; }
.tcolorbox { border-radius: 4px; margin: 1.5em 0; padding: 12px 16px; }
figure { background: #fdfdfe; border: 1px solid #e0e4ea; border-radius: 4px; padding: 1em; margin: 2em 5%; }
div.figurecaption { color: #555; font-size: 0.92em; border-top: 1px solid #e0e4ea; padding-top: 8px; margin-top: 8px; }
.sidebar { background: #f4f6f9; border: 1px solid #d0d6e0; border-radius: 4px; margin: 2em 5%; padding: 1em; }
div.sidebartitle { color: #1a3a5c; font-weight: bold; border-bottom: 1px solid #d0d6e0; padding-bottom: 4px; margin-bottom: 8px; }
pre.verbatim { background: #f0f2f5; border: 1px solid #d0d6e0; border-radius: 4px; padding: 12px; font-size: 0.88em; }
div.table { margin: 2em 5%; }
table { border-collapse: collapse; }
table tr.hline td { border-bottom: 1px solid #1a3a5c; }

/* Navigation */
header { background: #1a3a5c; color: white; }
nav.topnavigation { background: #1a3a5c; }
nav.topnavigation a { color: white; }
nav.botnavigation { background: #f0f2f5; border-top: 2px solid #1a3a5c; padding: 8px 16px; }
footer { background: #f4f6f9; border-top: 1px solid #d0d6e0; padding: 1.5em; color: #666; }
