issue #18406: CSS tweak.