/*  Makes the mobile header smaller - the default one takes up too much of the mobile screen */

header{
	min-height:8%;
}

/* makes the mobile code block numbers larger so they aren't covered on mobile */
aside.block{
	position:relative;
	height:unset;
	width:3%;
	background-color:unset;
	margin-top:unset;
	margin-left:unset;
	min-width:unset;
	max-width:unset;
	min-height:unset;
	border:unset;
	margin-right:2%;
	border-right:1px solid black;

}