/* Font Awesome Free 7.3.1. Icons: CC BY 4.0; see fontawesome/LICENSE.txt. */
svg.fa-icon {
    display: inline-block;
    width: 1em;
    height: 1em;
    vertical-align: -.125em;
    flex-shrink: 0;
    fill: currentColor;
    stroke: none;
    overflow: visible;
}
.button .fa-icon, .read-link .fa-icon, .back-link .fa-icon { width: 1em; height: 1em; }
.nav-dropdown summary .fa-icon { width: .75em; height: .75em; }
.publication .menu-toggle .menu-icon-close,
.publication .menu-toggle[aria-expanded="true"] .menu-icon-open { display: none; }
.publication .menu-toggle[aria-expanded="true"] .menu-icon-close { display: inline-block; }
.theme-toggle [data-theme-icon] { display: inline-flex; align-items: center; justify-content: center; }
.theme-toggle .fa-moon, .search-link .fa-icon { width: 16px; height: 16px; }
.empty-symbol .fa-icon { width: .8em; height: .8em; }
.editor-toolbar .fa-icon { width: 1em; height: 1em; }