div {
	padding:0;
	margin:0;
}

body, html {
	padding:0;
	margin:0;
	width:100%;
	background-color: #fff;
}

div#main {
	margin:auto;
	position: absolute;
  	top: 0; left: 0; bottom: 0; right: 0;
	width:80%;
	height:80%;
	background-color: #fff;
	z-index: 0;
}

div#play {
	display:none;
	margin:auto;
	position: absolute;
  	top: 0; left: 0; bottom: 0; right: 0;
	width:90%;
	height:90%;
	/*background: #222 url('logo_ds.png') no-repeat center center;*/
	background: #fff;
	background-size: contain;
	overflow: hidden;
	word-wrap: break-word;
	cursor: pointer;
	font-family: 'Anonymous Pro';
	font-weight: 400;
	font-size: 22px;
	color: transparent;
	text-shadow: 0 0 1px rgba(0,0,0,1.0);
}
#console_output {
    height: inherit;
    vertical-align: bottom;
    margin: 0;
    display: table-cell;
}
#console_output:after { /* trick to add bottom padding */
    content: '';
    display: block;
    height: 10px; 
}

div.stripe {
	width:100%;
	position: absolute;
	z-index: -1;
}

div.blind {
	width:100%;
	position: absolute;
	left:0;
	z-index: 1;
	background-color: #222;	
}

div.scanline {
	width:100%;
	position: absolute;
	left:0;
	z-index: 1;
	background-color: rgba(128,180,180,0.10);
}

div.vignette {
	z-index: 2;
	position: fixed;
	top: 0;
	left: 0;
	width: 100%;
	height: 100%;
	box-shadow: 0 0 200px rgba(0,0,0,0.45) inset;
}