@import url('https://fonts.googleapis.com/css?family=PT+Mono');
html{
	margin: 0;
	padding: 0;
	max-height: 100%;
	max-width: 100%;
	font-family: 'PT Mono', monospace;
	font-size: 10pt;
}	

ul{
	margin: 5%;
	list-style: none;
}

a{	
	text-decoration: none;
}

a:active,:visited{
	color: 
}

span{
	color: #AA0D91;
}

span.var{
	color: #3F6E74;
}
span.arr{
	color: #26474B;
}
span.arg, a.arg{
	color: #C41A16;
}
span.com{
	color: #007400;
}

@media only screen and (max-device-width: 480px) {
	html{
		margin: 0;
		padding: 0;
		max-height: 100%;
		max-width: 100%;
		font-size: 20pt;
	}
	ul{
		margin: 1%;
		margin-top: 7%;
	}
}