/* Hide theme toggle button */
#theme-toggle {
    display: none !important;
}

/* Hide all options in theme popup except Navy  */
.theme-popup .theme:not([id="navy"]) {
    display: none !important;
}

/* SVG Image common styles: rounded corners, max-width, centered */
.content img[src$=".svg"] {
    max-width: 100%;
    display: block;
    margin: 1.5em auto;
    border-radius: 10px;
}