a {
	/* border-right: 3px; */
}

body {
	font-family: "Gill Sans", "Gill Sans MT", "Myriad Pro", "DejaVu Sans Condensed", Helvetica, Arial, "sans-serif";
/*
	margin-left: 10vw;
	margin-right: 10vw;
*/
}

img {
	max-width: 60%;
}

.sectiontitle {
	font-size: 2em;
}


.heading h1 {
	font-size: 3em;
}

.heading p {
	font-size: 2em;
}

.global_menu a {
	padding: 1em;
	border: solid;
	background-color: gold;
	color: black;
	font-size: 18px;
	text-align: center;
}

.local_menu a {
	padding: 10px;
	border: solid;
	background-color: black;
	color: gold;
	font-size: 18px;
	text-align: center;
	height: auto;
}

.sidebar {
	background-color: black;
	color: white;
	padding: 16px;
}

.syntax {
	font-size: 1.2em;
	font-style: italic;
	font-weight: 700;
	color: darkblue;
}

.inset {
	font-size: 1.2em;
	font-style: italic;
	font-weight: 700;
	color: darkred;
}