/* Compatibility alias for mirrored pages. */
@import url('theme-ibkr.min1939.css');