@font-face 
            {
                font-family: 'Roboto';
                src: URL('font/Roboto-Regular.ttf') format('truetype');
            }
            body { font-family: Roboto, sans-serif; font-size:125%; text-align: left; 
              line-height: 180%; margin: 1em;}
            a.black{color:black;text-decoration: none;}
            a.black:hover{color:inherit;}
            a.black:visited{color:inherit;}
            li {margin: 0.3em;}
            span.case {
              color:rgb(255, 255, 255);
              font-family: monospace;
              padding: 0.2em;
              border-radius: 0.3em;
              border: 1px solid gray;
              background-color: rgb(169, 169, 169);

            }
            @media only screen and (max-width: 700px)
            {
                input { font-size: 1em;}
                body { font-size: 110%;}
            }