@font-face {
    font-family: 'Roboto Mono';
    src: url('RobotoMono-Thin.eot');
    src: url('RobotoMono-Thin.eot?#iefix') format('embedded-opentype'),
        url('RobotoMono-Thin.woff2') format('woff2'),
        url('RobotoMono-Thin.woff') format('woff'),
        url('RobotoMono-Thin.ttf') format('truetype'),
        url('RobotoMono-Thin.svg#RobotoMono-Thin') format('svg');
    font-weight: 100;
    font-style: normal;
    font-display: swap;
}

body {font-family: 'Roboto Mono', monospace;}

.linktext {text-align:center;padding:;}

a, a:visited {text-decoration:none;color:black;font-size:1.0em;}
a:hover, a:active {
	color: blue;
}