body{
	font-family:arial;
}

div{
	/*border-style: solid;
	border-color: #aaaaaa;*/
}
#appletdiv{
	height:400px;
	width:600px;
	border-style: solid;
	border-width: 1px;
    border-color: black;
	padding:.7em;
}
.flexrow{
	display:flex;
	flex-direction: row;
}
.hlabel{
	margin-left:1em;
}
#bottomdiv{
	margin-top:2em;
	
}

#pLabel{
	font-size:1.2em;
}

#coindiv{	
	width:170px;
}
label{
	margin:2px;
}
button{
	margin:2px;
}

button{
  background-color: #606060;
  color: white;
  border:none;
  padding:4px 8px 4px 8px ;
  font-size:13px;
  border-radius:4px;
}

button:hover {
  background-color: #4CAF50; /* Green */
  color: white;
}

	
#tossesLabel{
	color:gray;
	width:40px;
	height:200px;
	white-space:wrap;	
}

div.smallbox{
	height:200px;
	border-width:2px;
	float:left;
	margin: 2px;
	
}

#fairdiv{
	height:70px;
	width:400px;
}

#coinsdiv{
	width:410px;
	overflow:auto;
	border:solid;
}

#resultLabel{
	font-weight:bold;
	margin-left:50;
	font-size:1.25em;
	color:darkgreen;
}