/* Classic academic layout, revised October 2026.
   This is a replacement for the earlier starter's entire site.css.
   The proportions and font choices follow the two reference sites;
   no portrait, logo, biography, or research content was taken from them.
   Fonts are requested from the reader's device, not bundled or downloaded.
*/
:root {
  color-scheme: light;
  --text-font: Optima, Georgia, sans-serif;
  --text-size: 96%;
  --title-size: 25px;
  --title-color: #666666;
  --section-color: #bb0000;
  --link-color: #224b8d;
  --menu-link-color: #527bbd;
  --current-color: #022b6d;
  --menu-width: 134px;
  --page-width: none;
}
* { box-sizing: border-box; }
html { background-color: #ffffff; }
body {
  margin: 0;
  padding: 10px;
  background-color: #ffffff;
  color: #000000;
  font-family: var(--text-font);
  font-size: var(--text-size);
  font-weight: 400;
  line-height: 1.3;
}
a {
  color: var(--link-color);
  text-decoration: none;
}
a:hover {
  text-decoration-line: underline;
  text-decoration-style: dotted;
  text-decoration-color: #808080;
  text-decoration-thickness: 1px;
  text-underline-offset: 3px;
}
a:focus-visible { outline: 2px solid var(--link-color); outline-offset: 3px; }
.site-layout {
  display: grid;
  grid-template-columns: var(--menu-width) minmax(0, 1fr);
  align-items: stretch;
  min-height: calc(100vh - 20px);
  max-width: var(--page-width);
}
#layout-menu {
  padding: 22px 22px 30px 12px;
  border-right: 1px solid #dddddd;
  background-color: #f4f4f4;
  text-align: right;
  font-family: inherit;
  font-size: 1em;
}
.menu-list { display: block; }
.menu-item { margin: 0; padding: 0; }
.menu-item a {
  display: inline-block;
  color: var(--menu-link-color);
  font-size: 1em;
  line-height: 1.5;
  padding: 0;
  white-space: nowrap;
}
.menu-item a.current {
  color: var(--current-color);
  text-decoration-line: underline;
  text-decoration-style: solid;
  text-decoration-color: #808080;
  text-decoration-thickness: 1px;
  text-underline-offset: 3px;
}
#layout-content {
  min-width: 0;
  padding: 10px 16px 24px;
  overflow-wrap: break-word;
}
#toptitle {
  padding: 0 0 0.5em;
  margin: 0 0 1.3em;
  border-bottom: 1px solid #808080;
}
#toptitle h1 {
  margin: 0.3em 0 0;
  padding: 0 0 0.1em;
  color: var(--title-color);
  font-size: var(--title-size);
  font-weight: 700;
  line-height: 1;
  letter-spacing: normal;
}
h2 {
  margin: 0.7em 0 0.3em;
  padding: 0.8em 0 0.2em;
  border-bottom: 1px solid #aaaaaa;
  color: var(--section-color);
  font-size: 1.25em;
  font-weight: 700;
  line-height: 1;
}
h3 {
  margin: 0.7em 0 0.3em;
  padding: 0.5em 0 0.2em;
  color: var(--section-color);
  font-size: 1.05em;
  font-weight: 700;
  line-height: 1.15;
}
#toptitle + h2, #toptitle + h3 { margin-top: -0.7em; }
p { margin: 0 0 0.8em; padding: 0; line-height: 1.3; }
.profile { margin: 0 0 1.3em; line-height: 1.3; }
ul, ol { margin: 0.2em 0 0.8em; padding-left: 2.2em; }
ul { list-style-type: square; }
li { margin-bottom: 0.3em; }
li p { margin-bottom: 0.3em; }
strong, b { font-weight: 700; }
em, i { font-style: italic; }
.placeholder { color: inherit; }
.starter-note {
  margin: 2em 0 0.8em;
  padding: 0;
  border: 0;
  color: #666666;
  font-size: 0.82em;
  line-height: 1.3;
}
#footer {
  border-top: 1px solid #808080;
  padding: 0.2em 0 0;
  margin-top: 4em;
  font-family: inherit;
  font-size: 0.95em;
  line-height: 1.3;
  color: #000000;
}
img { max-width: 100%; height: auto; border: 0; }
/* Rectangular portrait and affiliation, above the biography. */
.profile-row { display: flex; align-items: center; gap: 24px; margin-bottom: 1.3em; }
.profile-row .profile { margin: 0; }
.portrait {
  display: block;
  width: 180px;
  max-width: 100%;
  height: auto;
  flex: 0 0 auto;
  border: 0;
  border-radius: 0;
}
.portrait-placeholder {
  display: flex;
  align-items: center;
  justify-content: center;
  width: 180px;
  height: 220px;
  max-width: 100%;
  flex: 0 0 auto;
  border: 1px solid #dddddd;
  background: #f7f7f7;
  color: #777777;
  font-size: 0.9em;
}
code, pre { font-family: Monaco, Consolas, monospace; font-size: 0.9em; }
pre { overflow-x: auto; }
.skip-link {
  position: absolute; left: 10px; top: -100px; z-index: 10;
  padding: 6px 10px; background: #ffffff;
}
.skip-link:focus { top: 10px; }
/* Keep the desktop appearance traditional, but avoid horizontal overflow on phones. */
@media (max-width: 640px) {
  body { padding: 0; font-size: 100%; }
  .site-layout { display: block; min-height: 100vh; }
  #layout-menu {
    padding: 12px 16px;
    border-right: 0;
    border-bottom: 1px solid #dddddd;
    text-align: left;
  }
  .menu-list { display: flex; flex-wrap: wrap; gap: 5px 18px; }
  #layout-content { padding: 16px 18px 24px; }
  .profile-row { flex-wrap: wrap; gap: 14px; }
  #toptitle h1 { line-height: 1.15; }
}
@media print {
  #layout-menu, .skip-link { display: none; }
  body { padding: 0; }
  .site-layout { display: block; min-height: 0; max-width: none; }
  #layout-content { padding: 0; }
}