html,
body {
    font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
}

.container {
    max-width: 800px;
}

.top-buffer {
    margin-top: 10px;
}

.section-dark {
    background-color:rgb(248, 249, 250);
    padding-top:12px;
    padding-bottom: 12px;
}

.navbar {
    background-color:rgb(248, 249, 250); 
}

.btn-info {
    --bs-btn-font-weight: 500;
    --bs-btn-font-size:14pt;
    --bs-btn-color: #fff;
    --bs-btn-bg: #55f;
    --bs-btn-hover-bg: #55f;
    --bs-btn-border-color: #fff;
    --bs-btn-hover-color: #fff;
  }

p {
    font-size:12.5pt;
}