/* Warfront v4.95: display the accurate release number.
   Override obsolete mobile test labels without moving any controls. */
#wf391-home.wf4555-loaded #wf4555-menu .rc5-version::after,
#uiHome.wf391-ready #wf391-home.wf4555-loaded #wf4555-menu.wf486-mobile .rc5-version::after {
  content:none!important;
  display:none!important;
}
#wf391-home.wf4555-loaded #wf4555-menu .rc5-version{
  font-variant-numeric:tabular-nums;
}