/* Shared menu styles. Previously bg-yx-custom was duplicated verbatim in
   d_menu.css, p_menu.css and s_menu.css, and the three admin_menu_* pages
   used the class without loading any of those files, so their background
   silently did nothing. */
.bg-yx-custom {
    background-color: rgb(158, 202, 77);
}