body {
  margin: 0;
  font-family: Open Sans, sans-serif;
  font-size: 18px;
}

.container {
  display: flex;
  height: 100vh;
}

.navbar {
  width: 200px;
  background-color: #f4f4f4;
  padding: 20px;
  font-size: 20px;
  box-shadow: 2px 0 5px rgba(0,0,0,0.1);
}

.navbar a {
  display: block;
  padding: 10px 10px;
  text-decoration: none;
  border-radius: 5px;
  color: #333;
}

.navbar a:hover {
  background-color: #ddd;
  transition: background-color 0.3s ease;
}

.content {
  width: 1200px;           /* Set fixed width */
  height: auto;          /* Set fixed height */
  padding: 20px 30px;
  border: 1px solid #ccc; /* Add a border/frame */
  overflow-y: auto;       /* Scroll if content overflows */
  background-color: #fff; /* Optional: white background */
  margin: 20px auto;      /* Center horizontally */
  box-shadow: 0 0 10px rgba(0, 0, 0, 0.1); /* Optional: soft shadow */
}

/* Header section */
.site-header {
  text-align: center;
  font-size: 48px;
  font-weight: bold;
  margin-top: 30px;
  margin-bottom: 10px;
}

/* Horizontal rule under header */
.header-separator {
  border: none;
  height: 8px;
  background-color: #FA8072;
  width: 100%;
  margin: 0 auto 30px auto;
}

pre {
  background-color: #f4f4f4;
  padding: 6px;
  border: 1px solid #ccc;
  border-radius: 6px;
  font-family: "Source Code Pro", monospace;
  font-size: 14px;
  overflow-x: auto;
  white-space: pre-wrap; /* Optional: wraps long lines */
}