body {
     margin-right: 5%;
     margin-left: 5%;
     color: black;
     background-color: white;
}

h2, h3, h4 {
	padding: 0.2em 0.1em;
	background-color: #FFEF85;
	text-align: left;
}

h2 {
	margin-top: 2em;
	padding-left: 1em;
}

h3 {
   margin-right: 10em;
   margin-left: 0em;
   padding-left: 1em;
}

h2.menu {
	background-color: white;
	font-size: 120%;
}

pre {
	font-family: monospace;
}


/**********
 * text component style
 **********/
.minipage {
	padding-left: 5%;
	padding-right: 5%;
}

.align-right {
	text-align: right
}


/**********
 * font styles
 **********/

p.scream {
	font-size: 120%;
	text-align: center;
}

.small {
	font-size: 80%
}

.green {
	background: #EFD498;
}


/**********
 * various styles of listings
 **********/

/* list with no preceding dots */
ul.none {
	list-style: none
}

/* inline style listing */
div.inlinelist li {
	display: inline;
}
div.inlinelist li:after{
	content: ", ";
}

/**********
 * floating objects, e.g., images at the right/left side 
 **********/

.float-left {
	float: left;
	padding-right: 2em;
}

.float-right {
	float: right;
	padding-left: 2em;
}