@import url(https://fonts.googleapis.com/css?family=IBM+Plex+Sans:100,100i,400,400i,700,700i);

body {
  padding:50px;
  font:14px/1.7 "IBM Plex Sans", sans-serif;
  color:#000;
  font-weight:400;
}

h1, h2, h3, h4, h5, h6 {
  color:#222;
  margin:0 0 20px;
  font-weight:400;
}

p, ul, ol, table, pre, dl {
  color: #000;
  margin:0 0 25px;
}

h1, h2, h3 {
  line-height:1.1;
}

h1 {
  font-size:28px;
  padding-top: 15px;
  font-weight: 500;
  letter-spacing: -0.01em;
}

h2 {
  color:#393939;
  font-weight: 600;
  font-size: 22px;
  margin-bottom: 25px;
}

h3, h4, h5, h6 {
  color:#494949;
  font-weight: 600;
}

h3 {
  font-size: 18px;
  margin-bottom: 20px;
}

a {
  color:rgb(0, 70, 105);
  text-decoration:none;
}

a:hover {
    text-decoration: underline;
}

a small {
  font-size:11px;
  color:#777;
  margin-top:-0.6em;
  display:block;
}

.wrapper {
  max-width:1200px;
  width:90%;
  margin:0 auto;
  position: relative;
}

blockquote {
  border-left:1px solid #e5e5e5;
  margin:0;
  padding:0 0 0 20px;
  font-style:italic;
}

code, pre {
  font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal;
  color:#333;
  font-size:12px;
}

pre {
  padding:8px 15px;
  background: #f8f8f8;
  border-radius:5px;
  border:1px solid #e5e5e5;
  overflow-x: auto;
}

table {
  width:100%;
  border-collapse:collapse;
}

th, td {
  text-align:left;
  padding:5px 10px;
  border-bottom:1px solid #e5e5e5;
}

dt {
  color:#444;
  font-weight:700;
}

th {
  color:#444;
}

img {
  max-width:100%;
}

header {
  width:270px;
  float:left;
  position:fixed;
}

header h1 {
  padding-top: 0;
}

/* Bold specific lines in the header */
header p:nth-of-type(2) strong {
  font-weight: 700;
}

header p:nth-of-type(3) strong {
  font-weight: 700;
}

header::after {
  content: '';
  position: absolute;
  top: 0;
  right: -25px;
  width: 1px;
  height: 100%;
  background-color: #e5e5e5;
}

header ul {
  list-style:none;
  height:40px;

  padding:0;

  background: #eee;
  background: -moz-linear-gradient(top, #f8f8f8 0%, #dddddd 100%);
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#f8f8f8), color-stop(100%,#dddddd));
  background: -webkit-linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
  background: -o-linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
  background: -ms-linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
  background: linear-gradient(top, #f8f8f8 0%,#dddddd 100%);

  border-radius:5px;
  border:1px solid #d2d2d2;
  box-shadow:inset #fff 0 1px 0, inset rgba(0,0,0,0.03) 0 -1px 0;
  width:270px;
}

header li {
  width:89px;
  float:left;
  border-right:1px solid #d2d2d2;
  height:40px;
}

header ul a {
  line-height:1;
  font-size:11px;
  color:#999;
  display:block;
  text-align:center;
  padding-top:6px;
  height:40px;
}

strong {
  color:#222;
  font-weight:700;
}

header ul li + li {
  width:88px;
  border-left:1px solid #fff;
}

header ul li + li + li {
  border-right:none;
  width:89px;
}

header ul a strong {
  font-size:14px;
  display:block;
  color:#222;
}

section {
  width:calc(100% - 320px);
  float:right;
  padding-bottom:50px;
}

/* Navigation styling for desktop mode */
nav h3 a {
  font-weight: 400;
}

nav h3 a b {
  font-weight: 700;
}

/* Style navigation separators */
nav h3 {
  color: #000;
  font-weight: 400;
}

small {
  font-size:11px;
}

hr {
  border:0;
  background:#e5e5e5;
  height:1px;
  margin:0 0 20px;
}

footer {
  width:270px;
  float:left;
  position:fixed;
  bottom:50px;
}

@media print, screen and (max-width: 960px) {

  div.wrapper {
    width:auto;
    margin:0;
  }

  header, section, footer {
    float:none;
    position:static;
    width:auto;
  }

  header {
    padding-right:320px;
  }

  header::after {
    display: none;
  }

  section {
    border:1px solid #e5e5e5;
    border-width:1px 0;
    padding:20px 0;
    margin:0 0 20px;
  }

  header a small {
    display:inline;
  }

  header ul {
    position:absolute;
    right:50px;
    top:52px;
  }

  /* Improve touch targets for navigation on medium screens */
  nav h3 {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 6px;
    color: #000;
    font-weight: 400;
  }

  nav h3 a {
    padding: 10px 6px;
    display: inline-block;
    min-height: 40px;
    line-height: 40px;
    text-decoration: none;
    vertical-align: middle;
    font-weight: 400;
  }

  nav h3 a b {
    font-weight: 700;
  }

  /* Dark mode for medium screens */
  @media (prefers-color-scheme: dark) {
    section {
      border-color: #404040;
    }

    nav h3 {
      color: #e0e0e0;
    }
  }
}

@media print, screen and (max-width: 720px) {
  body {
    word-wrap:break-word;
    padding: 20px;
    font-size: 16px;
    line-height: 1.7;
  }

  header {
    padding:0;
  }

  header ul, header p.view {
    position:static;
  }

  pre, code {
    word-wrap:normal;
  }

  h1 {
    font-size: 24px;
    margin-bottom: 25px;
  }

  h2 {
    font-size: 20px;
    margin-bottom: 20px;
  }

  h3 {
    font-size: 18px;
    margin-bottom: 15px;
  }

  p, ul, ol, table, pre, dl {
    margin-bottom: 25px;
  }
}

@media print, screen and (max-width: 480px) {
  body {
    padding: 15px;
    font-size: 16px;
  }

  header ul {
    display:none;
  }

  /* Improve touch targets for navigation */
  nav h3 {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 8px;
    color: #000;
    font-weight: 400;
  }

  nav h3 a {
    padding: 12px 8px;
    display: inline-block;
    min-height: 44px;
    line-height: 44px;
    text-decoration: none;
    vertical-align: middle;
    font-weight: 400;
  }

  nav h3 a b {
    font-weight: 700;
  }

  /* Better spacing for mobile content */
  section {
    padding: 0;
  }

  h1 {
    font-size: 22px;
    margin-bottom: 20px;
  }

  h2 {
    font-size: 18px;
    margin-bottom: 15px;
  }

  h3 {
    font-size: 16px;
    margin-bottom: 12px;
  }

  p, ul, ol, table, pre, dl {
    margin-bottom: 20px;
  }

  /* Dark mode for mobile screens */
  @media (prefers-color-scheme: dark) {
    nav h3 {
      color: #e0e0e0;
    }
  }
}

@media print {
  body {
    padding:0.4in;
    font-size:12pt;
    color:#444;
  }
}


code {
    background: #F1F1F1;
}

pre {
    white-space: pre-wrap;
    background: #F1F1F1;
}

.profile-photo {
  border: 1px solid darkgray;
  border-radius: 8px;
}

/* --- Collapsible abstracts --- */
details {
  margin: 10px 0 25px;
  border: 1px solid #e5e5e5;
  border-radius: 6px;
  padding: 0;
  background: #fff;
}

details[open] {
  box-shadow: 0 1px 0 rgba(0,0,0,0.02);
}

summary {
  cursor: pointer;
  list-style: none;        /* removes default triangle in some browsers */
  padding: 10px 12px;
  font-weight: 600;
  color: #001f3f;          /* your navy */
  display: flex;
  align-items: center;
  gap: 8px;
}

summary::-webkit-details-marker { display: none; } /* removes default marker (Safari/Chrome) */

summary::before {
  content: "▸";
  display: inline-block;
  transform: translateY(-1px);
}

details[open] summary::before {
  content: "▾";
}

details > p {
  margin: 0;
  padding: 12px 12px 14px;
  color: inherit;          /* follow your body/nav text color */
  line-height: 1.7;
}