@charset "UTF-8";
/* CSS Document */

.header {
	background-color: dimgray;
	text-align: right;
	min-height: 80px;
	line-height: 80px;
	width: 100%;
	padding: 1rem;

}
.buttons {
	margin: 0 7% 0 auto;
	width: 60%;
	min-width: 200px;
	table-layout: fixed;
	border-collapse: collapse;
		padding-right: 120px;
}
.buttons button { 
  width: 100%;
}

.button {
	min-height: 30px;
	padding: 5px;
	font-size: 16px;
}

.button:hover {
	background-color: #4A4A4A;
	color: white;
	min-height: 35px;
	transition: 0.3s;
	box-shadow: 10px 10px 15px 0px #595959;
}

.debug-wrap {
	max-height: 40vh;
	overflow: auto;
	width: 100%;
	align-self: center;
	
}
.debug {
	width: 100vw;
	max-width: 100%;
	table-layout: fixed;
}	

.debugtd {
	height: 150px;
	border: thin;
	border-color: aliceblue;
	border-style: solid;
	text-align: center;
	line-height: 20px;
}