div#circuitry {
    position:absolute;
    left:10px;
    right:10px;
    top:10px;
    bottom:10px;
    min-width:400px;
    min-height:400px;
}
div#specs {
    position:fixed;
    left:0px;
    width:720px;
    height:60px;
    bottom:0px;
	z-index:10;
    font-family:Arial,sans-serif;
    font-size:1.2em;
    background-color:lightblue;
    display:none;
}
div#specs > p {
	margin-left:40px;
    margin-top:10px;
}
div#hints {
    position:fixed;
    right:13%;
    width:200px;
    height:60px;
	z-index:10;
    border:2px outset black;
    border-radius:5px;
    background-color: lightblue;
    text-align:center;
    font-family:Arial,sans-serif;
    font-size:1.2em;
    display:none;
}
div#privacy {
    position:fixed;
    left:0px;
    width:400px;
    bottom:0px;
    height:200px;
	z-index:12;
    background-color: rgb(140,150,60);
    text-align:center;
    font-family:Arial,sans-serif;
}
div#privacy > button {
    background-color:white;
    border:1px solid lightgray;
    border-radius:5px;
    color:black;
    cursor:pointer;
    font-family:Arial,sans-serif;
    font-size: 14px;
    font-weight:600;
    padding:6px 16px;
    text-align:center;
    margin-left:30pt;
}
h1 {
    margin-left:20px;
	margin-top:20px;
	margin-bottom:20px;
	padding-bottom:3px;
	border-bottom:2px solid #000;
	font-family:Arial,sans-serif;
	font-size:200%;
	font-weight:normal;
}
div.textblock {
	margin-left:40px;
	margin-right:20px;
	margin-top:10px;
	margin-bottom:10px;
	font-size:1.0em;
	line-height:180%;
	font-family:Arial,sans-serif;
}