fixes #9317: document media queries