/* The overall stylesheet.  Some documents have additional stylesheets. */

h1.section { }

/*BODY { 	background: black;
	color: white }*/

/*A:link { background: black;       /* unvisited link 
	 color: lime }
A:visited { background: black;    /* visited links 
	    color: red }
A:active { background: black;     /* active links 
	   color: blue }*/

.paper-title { font-style: italic }
.pdf-version { font-size: 50% }

.author { }
.institution { }

/*img {float: left ! important}*/