roll; white-space:pre; display:none }
		div#menu { background:#e1d2c5; height:25px; padding:10px; margin-bottom:20px;font-weight:bold; display:none }
		div#menu select { float:right }
		body.active textarea { height:calc(100% - 140px); }
		body.active div#term, body.active div#menu { display:block }
		#run { cursor:pointer; background:#000; color:white; border:0px; border-radius:100px; line-height:24px; padding:0px 10px; font-size:12px }
		#step { background: #fff; color:black}
		#run:hover, #step:hover { b