body {
  padding-top: 30px;
}

html.lab-root {
  font-size: 16px;
  -webkit-text-size-adjust: 100%;
  text-size-adjust: 100%;
}

html.lab-root body {
  font-size: 1rem;
  line-height: 1.5;
}

/* Drop Bootstrap's .container breakpoint jumps globally; use a
   single smooth max-width. Homepage uses .mbox for its 900px cap;
   lab page overrides below to match that same width. */
.container {
  max-width: 1200px;
}

.lab-root .container {
  max-width: 900px;
}

.mbox {
  max-width: 900px;
  margin: 0 auto;
  padding: 15px 20px;
  text-align: left;
}

h1 {
  font-size: 42px;
}

a {
  /* color: #580099; */
  color: #0066cc;
}

aa {
  /* color: #580099; */
  color: #0066cc;
}

a:hover, a:visited {
  /* color: #d80077; */
  color: #0066cc;
}

.bibbox {
  display: none;
  margin: 8px 0 4px;
  padding: 10px 12px;
  border: 1px solid #ddd;
  border-radius: 3px;
  background: #f8f8f8;
  position: relative;
}

.bibbox pre {
  margin: 0;
  padding-right: 60px;
  white-space: pre-wrap;
  word-break: break-word;
  font-family: Menlo, Monaco, Consolas, monospace;
  font-size: 12.5px;
  line-height: 1.4;
  color: #333;
}

.bibcopy {
  position: absolute;
  top: 6px;
  right: 6px;
  padding: 2px 8px;
  font-size: 12px;
  background: #fff;
  border: 1px solid #ccc;
  border-radius: 3px;
  cursor: pointer;
  color: #0066cc;
}

.bibcopy:hover {
  background: #f0f0f0;
}

.left2space {
  padding-left: 2ch;
}

.spacer {
  margin: 0;
  padding: 0;
  height: 15px;
}

#Publications ul > li,
#Preprints ul > li {
  margin-bottom: 12px;
}

/* style.css */

/* Style for the vertical navigation container */
.nav.flex-column {
  /* border-left: 2px solid #ddd; /* Light grey border on the left of the whole nav block */
  position: relative;
  padding-left: 0px; /* Remove default padding if any */
  margin-top: 0; /* Add some space above the nav */
}

.nav.flex-column::before {
  content: ""; /* Required for pseudo-elements to show up */
  position: absolute; /* Position it relative to .nav.flex-column */
  left: 0; /* Place it on the left edge */
  top: 10px; /* Start the bar 10px from the top of the navigation container */
  bottom: 10px; /* End the bar 10px from the bottom of the navigation container */
  width: 0px; /* This was the thickness of your original border */
  /*background-color:   #FFFFFF; /*#ddd; /* This was the color of your original border */
  background: linear-gradient(
    to bottom,          /* Direction of the gradient */
    transparent,        /* Starts transparent (fades in) */
    #ccc 30%,           /* Fades to #ccc by 20% from the top */
    #ccc 70%,           /* Stays #ccc until 80% from the top */
    transparent         /* Fades out to transparent at the bottom */
  );
}

/* Style for each navigation item */
.nav.flex-column .nav-item {
  margin-bottom: -9px; /* Space between nav items */
}

/* Style for the navigation links */
.nav.flex-column .nav-link {
  text-align: right;
  padding: 7px 15px; /* Add padding around the text (top/bottom, left/right) */
  color: #0066cc; /* Darker text color for better readability */
  text-decoration: none; /* Remove underline */
  display: block; /* Make the entire area clickable */
  border-radius: 4px; /* Slightly rounded corners for a softer look */
  transition: background-color 0.3s ease, color 0.3s ease; /* Smooth transition for hover effects */
}

/* Hover effect for navigation links */
.nav.flex-column .nav-link:hover {
  background-color: #f0f0f0; /* Light grey background on hover */
  color: #0056b3; /* Change text color on hover - Bootstrap primary blue is an option */
}

/* Style for an "active" or current page link (optional, requires JavaScript or manual class) */
.nav.flex-column .nav-link.active {
  background-color: #007bff; /* Bootstrap primary color */
  color: white;
  font-weight: bold;
}