/**
 * HR colors based on 2016 palette from this URL:
 *
 * https://www.w3schools.com/colors/colors_palettes.asp
 */

hr {
    border-top-color: #92a8d1;
}

.post-full-content hr::after {
    background: #034f84;
}

/**
 * If the navbar has a fixed position, when you jump to an anchor inside the
 * text, you won't be able to see where you just jumped, because it'll be
 * hidden by the navbar.
 */

.site-nav-main {
    position: relative;
}