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

/* Force scrollbar to always be visible to prevent layout shifts */
html {
  overflow-y: scroll;
}

body {
  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, Cantarell, 'Open Sans', 'Helvetica Neue', sans-serif;
  line-height: 1.6;
  color: #333;
  margin: 0;
  padding: 0;
  background: #fafafa;
}

/* Header styles */
.doc-header {
  width: 100%;
  height: 50px;
  padding: 0;
  background-color: #f8f9fa;
  text-align: center;
  border-bottom: 1px solid #e9ecef;
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  z-index: 1000;
  display: flex;
  justify-content: center;
  align-items: center;
}

.doc-header a {
  text-decoration: none;
  color: #4a6bae;
  font-family: sans-serif;
  font-size: 14px;
  margin: 0 15px;
  padding: 5px 10px;
  border-radius: 4px;
  display: inline-block;
  line-height: 1.5;
}

.doc-header a:hover {
  background-color: #e9ecef;
}

.doc-header a.active {
  background-color: #4a6bae;
  color: white;
}

/* Content container */
.doc-content {
  padding: 20px;
  margin-top: 50px; /* Add margin to account for fixed header */
}