::-webkit-resizer {
    border: 1px solid black;
    background: gray;
    display: block;
    width: 150px !important;
    height: 150px !important;
}
html, body{
  margin: 0;
  padding: 0;
  font-family: Serif;
}
#myConsole{
	display: block;
	width: 100vW;
	resize: vertical;
	font-size: 1em;
    -webkit-box-sizing: border-box;
    -moz-box-sizing: border-box;
    box-sizing: border-box;
}
#toolbar{
	display: flex;
}
.btn{
	margin: 0;
	display: inline-block;
	font-size: 2em;
	padding: 0.3em;
	-webkit-box-sizing: border-box;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
}
#run{
	width: 60vW;
}
#clear{
	width: 20vW;
}
#download{
	width: 20vW;
}