e type="text/css">
			@font-face
			{
				font-family: "mplus-1p-regular";
				src: url("/fonts/mplus-1p-regular.woff") format("woff");
				/* filesize: 803300 bytes (784.5 KBytes) */
				/*
				mplus-1p-regular.ttf can be downloaded at/from [TBD later]
				*/
			}
			p.control {
				border: 1px solid gray;
				color: blue;
				font-family: "mplus-1p-regular";
				width: 10.2em;		/* added extra .2em for some symbols wider than 1em */
			}
			span.target {
				background-color: aqua;
			}
			div.wrapper {
		