:root {
  --primary-color: #2c3e50;
  --secondary-color: #34495e;
  --accent-color: #3498db;
  --text-color: #333;
  --bg-color: #fff;
}

/* Typography and global colors */
body {
  background-color: var(--bg-color);
  color: var(--text-color);
}

a:hover {
  color: var(--accent-color);
}

/* Highlight active nav link */
.nav-links a.active {
  background-color: var(--accent-color);
  padding: 0.25rem 0.5rem;
  border-radius: 5px;
}

/* Highlight active sidebar link */
.sidebar-links a.active {
  font-weight: bold;
  text-decoration: underline;
}

p{
  margin-top: 1em;
  margin-bottom: 1em;
}

pre{
  font-family: monospace;
  background-color: #ffffe6;
  padding: 1em;
  margin: 1em;
}