* {
  border-radius: 0 !important;
}
nav .nav-link {
    color: grey;
}
nav .nav-link:hover {
    color: black;
}
nav .nav-link.active {
    color: black;
}

.btn {
color: grey;
opacity:1;
border-width:0;
}
.btn:disabled,
.btn[disabled] {
color: black;
opacity:1;
}

.tip {
border-bottom: 1px dotted #000;
}
h1:not(.accordion-header) {
margin-bottom: 0.5rem;
}
h2:not(.accordion-header) {
margin-top: 2rem;
}

pre {
margin-bottom: 0.25em;
margin-top: 0.25em;
}

dl, ol, ul {
    margin-top: 0.25rem;
    margin-bottom: 0.5rem;
}