body { font-family: Verdana, Arial, sans-serif; }
input#tbox { width: 50%}
input#sbox { width: 90%}
form.big { font-size: 200%; }
input, select { font-size: 100%; }
#output pre { border: 1px solid black; padding: 2px; display: inline; }
#output ul { list-style-type: disc; }
table { border-collapse: collapse; border: 2px solid black;}
td, th { border: 1px solid gray; padding: 5px; }
th { border-bottom: 2px solid black; }
div#ocjk div.fourcorner p { text-align: center; }
div#ocjk div.row { display: flex; flex-direction: vertical;}
div#ocjk div.row div { margin: 0 1em; }

#output span.flag { 
	border: 1px solid red;
	background-color: #000080;
	color: yellow;
	border-radius: 50em;
	padding: 0 0.4em;
	margin-left: 0.5em;
	white-space: nowrap
}

#output span.flag div.flag4Corner {
	text-align: center;
    display: inline-block;
    background-color: white;
    color: black;
    border: 1px solid black;
    margin: 2px;
    font-size: 25%;
    vertical-align: bottom;
    font-weight: bold;
}