body {
  font-family: Lora, serif;
  font-size: 16px;
  margin: 0 auto;              /* centers the column */
  max-width: 46rem;            /* readable line length; scales down on phones */
  padding: 0 1.25rem 3rem;
  background-color: #dddddd;   /* Light gray background */
  color: #333;                 /* Dark gray text color */
}

.site-nav {
  padding: 0.75rem 0;
  font-size: 13.6px;
  text-transform: uppercase;
  letter-spacing: 0.05em;
}

pre, code {
  font-family: "Google Sans Code", monospace;
  font-size: 15.2px;
  padding: 1px;
  background-color: white;
  color: black;
}

pre {
  padding: 0.75rem;
  overflow-x: auto;            /* long code lines scroll instead of breaking layout */
}

.math {
  font-size: 24px;
  padding: 1px;
  background-color: white;
  color: black;
}

/* Heading styles */
h1, h2, h3 {
  color: #0056b3;
  font-size: 28px;
  text-align: center;
  margin-bottom: 20px;
  line-height: 1.25;
}

.section-header {
  font-size: 24px;
  color: #0045a2;
  text-align: left;
  border-bottom: 1px solid black;
  margin-top: 10px;
  margin-bottom: 10px;
}

.subsection-header {
  font-size: 20px;
  color: #0045a2;
  text-align: left;
  border-bottom: 1px solid black;
  margin-top: 8px;
  margin-bottom: 8px;
}

p {
  line-height: 1.6;
  margin-bottom: 10px;
}

img {
  max-width: 100%;             /* keeps screenshots inside the column */
  height: auto;
}

span.screen {
  font-family: system-ui, sans-serif;
  font-size: 15.2px;
  background-color: white;
  color: darkslategray;
  padding: 0 3px;
}

/* Link styles */
a {
  color: #0a58ca;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

.highlight {
  background-color: yellow;
  font-weight: bold;
}

#main-content {
  border: 1px solid #ccc;
  padding: 15px;
  background-color: #fff;
}