/* Current page, shared by desktop and mobile navigation. */
#gh-head .gh-head-menu .nav a[aria-current="page"],
#gh-head .gh-head-menu .nav a[aria-current="page"]:hover {
    color: var(--orange);
    font-weight: 700;
    box-shadow: 0 -2px 0 0 currentColor inset;
}