@import url("../common2.css");
@import url("../tools/zoom.css");

div.header{
	background: url(img/vesta-banner.png) left top no-repeat;
}

div.lstlisting{
	background: #E2E2E2;
	margin: 1.0em 1.0em 1.0em 1.0em;
	padding: 0.5em 0.5em 0.5em 0.5em;
	line-height:100%;
}

.fancyvrb{
	background: #E2E2E2;
	margin: 1.0em 1.0em 1.0em 1.0em;
	padding: 0.5em 0.5em 0.5em 0.5em;
	line-height:100%;
}

.wrapfig-r {margin-left:1em; margin-top:0.5em; margin-bottom:0.5em; width:210px; } 

.wrapfig-r .caption {text-align:left; text-indent:0em; margin-left:0em; margin-right:0em; width:100%}

/*span.accentwidetilde {
  font-weight: bold;
} 

span.accentwidetilde span:after {
    content: "\0303";
}

span.accenttilde span:after {
  content: "\0303";
} 

img.math-display {
    transform:scale(0.8,0.8);
}
img.math {
    transform:scale(0.8,0.8);
}*/