index.css

body{
	margin:0px;
	overflow-x: hidden;
	overflow-y: hidden;
	font-family: Helvetica, Arial;
}

button:disabled {
	background-color: #DCDCDC;
}

.btn{
	z-index: 10;

	background-color: white;
	border-left: 1px solid gray;
	border-right: 1px solid gray;

	width: 200px;
	height: 50px;
	font-size: 20px;

	border-radius: 5px;
}

.exit-btn{
	float: right;
	z-index: 10px;
	background-color: white;
	border-radius: 5px;
	font-size: 12px;
}

.btn-transform{
	border-bottom: 5px solid blue;
}

.btn-proof{
	border-bottom: 5px solid green;
}

.msg{
	background-color: lightgreen;
	border-radius: 5px;
	font-size: 15px;
	padding: 10px;
	/*line-height: 50px;*/
	word-wrap: break-word;
}

.err{
	background-color: orangered;
}

#mini-canvas{
	/*display: none;*/
	position: absolute;
	width: 80%;
	height: 80%;
	/*background-color: green;*/
	top: 100px;
	margin-left: auto;
	margin-right: auto;
	left: 0;
	right: 0;
	border: solid 2px black;
}

#toggle_mode{
	top: 10px;
	right: 20px;
	position: absolute;
}

#exit-mini{
	width: 50px;
	position: absolute;
	top: 100px;
}

#insert-graph{
	width: 100px;
	position: absolute;
	top:100px;
}

#proof-panel{
	position: absolute;
	top: 85px;
	right: 20px;
	display: none;
	text-align: center;
	font-size: 17px;
}

#msg-buff{
	margin-left: auto;
	margin-right: auto;
	max-width: 500px;
	position: absolute;
	bottom: 10px;
	left: 10px;
	display: flex;
	justify-content: center;
	align-items: center;
}

#options-btn{
	position: absolute;
	left: 10px;
	top: 10px;
	width: 100px;
	font-size: 15px;
}

#modal-background{
	width:100%;
	height: 100%;
	position: absolute;
	z-index: 11;
	background-color : rgba(0, 0, 0, 0.25);;
	top: 0;
	display: flex;
	align-content: center;
	justify-content: center;
}

#modal-panel{
	background-color: white;
	margin-top: 100px;
	height: 200px;
	padding: 20px;
	border-radius: 5px;
}