/* CSCI 4845/5845 course site — minimal, text-first (cs-135.org spirit) */
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  font-size: 17px;
  line-height: 1.55;
  color: #1a1a1a;
  background: #ffffff;
}
.wrap { max-width: 860px; margin: 0 auto; padding: 0 1.25rem; }

/* top navigation */
.topnav { background: #003da5; }
.topnav .wrap {
  display: flex; flex-wrap: wrap; align-items: baseline; gap: 0.25rem 1.25rem;
  padding-top: 0.6rem; padding-bottom: 0.6rem;
}
.topnav .brand { color: #fff; font-weight: 700; margin-right: auto; }
.topnav a { color: #dbe6ff; text-decoration: none; font-size: 0.95rem; }
.topnav a:hover, .topnav a.active { color: #fff; text-decoration: underline; }

main.wrap { padding-top: 1.5rem; padding-bottom: 3rem; }

h1 { font-size: 1.65rem; line-height: 1.25; margin: 0.5rem 0 0.75rem; }
h2 { font-size: 1.25rem; margin-top: 2.2rem; padding-bottom: 0.25rem; border-bottom: 2px solid #e3e6ea; }
h3 { font-size: 1.05rem; margin-top: 1.6rem; }
a { color: #003da5; }
strong { color: #111; }

table { border-collapse: collapse; width: 100%; margin: 1rem 0; font-size: 0.95rem; }
th { text-align: left; border-bottom: 2px solid #c7ccd4; padding: 0.4rem 0.6rem; }
td { border-bottom: 1px solid #e3e6ea; padding: 0.4rem 0.6rem; vertical-align: top; }
tr:nth-child(even) td { background: #f7f8fa; }

code { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size: 0.9em;
       background: #f2f3f5; padding: 0.1em 0.3em; border-radius: 3px; }
blockquote { margin: 1rem 0; padding: 0.6rem 1rem; border-left: 4px solid #003da5;
             background: #f5f8ff; color: #333; }
blockquote p { margin: 0.3rem 0; }
ul, ol { padding-left: 1.4rem; }
li { margin: 0.25rem 0; }
hr { border: none; border-top: 1px solid #e3e6ea; margin: 2rem 0; }

.notice { background: #fff8e6; border: 1px solid #f0dfa8; border-radius: 6px;
          padding: 0.75rem 1rem; margin: 1rem 0; font-size: 0.95rem; }

footer { border-top: 1px solid #e3e6ea; margin-top: 2rem; }
footer .wrap { padding-top: 1rem; padding-bottom: 2rem; color: #666; font-size: 0.85rem; }

@media (max-width: 700px) {
  body { font-size: 16px; }
  table { display: block; overflow-x: auto; }
}