body {
    padding-top: 5em;
    color: #444;
}
h1 {
    font-size: 2.4rem;
    font-weight: 700;
    color: #130654;
}
h2 {
    font-size: 1.45rem;
    font-weight: 700;
    color: black;
}
h3 {
    font-size: 1.3rem;
    font-weight: 600;
    color: black;
}
a {
    color: #130654;
}
code {
    white-space: pre;
}
ol ol, ol ul, ul ol, ul ul {
    margin-bottom: 1rem;
}
.blue {
    color: #150458;
}
.pink {
    color: #e70488;
}
.fab {
    font-size: 1.2rem;
    color: #666;
}
.fab:hover {
    color: #130654;
}
a.navbar-brand img {
    height: 3rem;
}
a:link:not(.btn):not(.dropdown-item):not(.nav-link) {
text-decoration: none;
}
a:visited:not(.btn):not(.dropdown-item):not(.nav-link) {
text-decoration: none;
}
a:hover:not(.btn):not(.dropdown-item):not(.nav-link) {
text-decoration: underline;
}
a:active:not(.btn):not(.dropdown-item):not(.nav-link) {
text-decoration: underline;
}
div.card {
    margin: 0 0 .2em .2em !important;
}
@media (min-width: 576px) {
    .card-group.maintainers div.card {
        min-width: 10rem;
        max-width: 10rem;
    }
}
div.card .card-title {
    font-weight: 500;
    color: #130654;
}
.book {
    padding: 0 20%;
}
.bg-dark {
    background-color: #130654 !important;
}
.navbar-dark .navbar-nav .nav-link {
    color: rgba(255, 255, 255, .9);
}
.navbar-dark .navbar-nav .nav-link:hover {
    color: white;
}
table.logo td {
    text-align: center;
}
table.logo img {
    height: 4rem;
}






/*
     FILE ARCHIVED ON 11:03:44 Oct 25, 2021 AND RETRIEVED FROM THE
     AN OPENWAYBACK INSTANCE ON 22:40:44 Jul 18, 2025.
     JAVASCRIPT APPENDED BY OPENWAYBACK, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/