/* Reset and base styles */
* {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
}

body {
  font-family: sans-serif;
  background-color: #f4f4f4;
  color: #222;
  line-height: 1.6;
}

/* Navigation styling */
nav {
  background-color: #003366;
  padding: 1rem;
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 1rem;
}

nav ul {
  list-style: none;
  margin: 0;
  padding: 0;
  display: flex;
  gap: 1rem;
  flex-wrap: wrap;
}

nav li {
  margin: 0;
}

nav a {
  color: white;
  text-decoration: none;
  font-weight: bold;
  white-space: nowrap;
}

nav a:hover {
  text-decoration: underline;
}

#search-box {
  margin-left: auto;
  padding: 0.4rem;
  border-radius: 4px;
  border: 1px solid #ccc;
  max-width: 200px;
}

/* Centered content */
.content {
  max-width: 800px;
  margin: 2rem auto;
  padding: 1rem;
}
.mermaid {
  min-width: 100%;
  overflow-x: auto;
  font-size: 16px;
}