@font-face {
	font-family: 'Riforma Mono Regular';
	src: 
		url('./riforma_mono/RiformaMonoLLWeb-Regular.woff2') format('woff2'),
		url('./riforma_mono/RiformaMonoLLWeb-Regular.woff')  format('woff');
}
body, html {
   height: 100%;
}
body {
   display: grid;
   margin: 0;
}
pre {
   margin: auto;
   display: block;
   font-family: 'Riforma Mono Regular';
   font-variant-numeric: slashed-zero;
   font-feature-settings: "case";
   line-height: 1.19;   /* fix for Mobile Safari line-gap */
   padding: 1px;        /* fix for a Safari rendering/smearing glitch */
   padding-bottom: 1em; /* optical adjustment */
}
.alt {
   font-feature-settings: "ss19";
}
@media screen /* widest */ { 
   body { font-size: 1.2em; }
   pre { --module: H; }
}
@media screen and (max-width: 1200px) {
   body { font-size: 1em; }
   pre { --module: H; }			
}
@media screen and (max-width: 900px) {
   body { font-size: 1em; }
   pre { --module: V; }
}
/* -- TMP ---------------------------------------- */ 
.info {
   margin-top: 4em;
   font-size: 0.6em;
   display: block;
   background-color: lightgray;
   color: black;
   padding: 1em;
   position: fixed;
   bottom: 0;
   right: 0;
}
.info.hidden {
   display: none;
}