body {font-family:sans-serif;}
table {border-spacing:1em 0;}
th {text-align:center;padding 0;}
td.expr {text-align:center;padding 0;}
td.number {text-align:right;padding 0;}
td.symbol {text-align:left;padding 0;}
td.mark {text-align:center;padding 0;}
td.desc {text-align:left;padding 0;}
math {font-size:1.1em;font-family:"Noto Sans Math",sans-serif;font-weight:200;font-style:normal;}
@media (max-width:1080px) {
    .wide-screen {
	display: none;
    }
}
@media (min-width:1081px) {
    .narrow-screen {
	display: none;
    }
}