1@font-face {
2 font-family: operators;
3 src: url("/fonts/math/operators.woff");
4}
5math, math * {
6 font-family: operators;
7 /* Use large enough font-size so that 1/18em = 2.77px > epsilon and
8 one can really distinguish lspace/rspace values. */
9 font-size: 50px;
10}
11