@import url("lwarp.css") ;



/* Changes for diagram backgrounds: */

body {
	font-family: "DejaVu Sans", "Bitstream Vera Sans", Geneva, Verdana, sans-serif ;
/* 	background: #ebebf2 url("images/bg_diagrams.jpg") repeat ; */
	background: #FAF7F4  ;
}

div.sidetoc p {
	font-family: "DejaVu Sans", "Bitstream Vera Sans", Geneva, Verdana, sans-serif ;
}

div.title, h1, h2, h3, h4, h5
{
	font-family: "DejaVu Sans", "Bitstream Vera Sans", Geneva, Verdana, sans-serif ;
}

div.toc, div.lof, div.lot {
	font-family: Helvetica, Ariel, sans-serif ;
}

div.topnavigation, div.firstpagetop, div.pagetop {
	background: linear-gradient(to top, #ebebf2, #C0C0C0);
}

body h2, div.abstract, div.botnavigation, div.pagebottom, div.sidetoc {
	background: linear-gradient(to bottom, #ebebf2, #C0C0C0);
}

body .sidebar {
	background: linear-gradient(to bottom, #ebebd0, #C0C0B0);
}

header {
	background-color: #d0d0d8 ;
	background-image: linear-gradient(to top, #FAF7F4, #b0b0b8);
}

footer {
	background-color: #d0d0d8 ;
	background-image: linear-gradient(to top, #b0b0b8, #FAF7F4);
}

nav.botnavigation {
	background: #e0e0e4 ;
	border-top: 1px solid black ;
}

@media print {
	body {
		font-family: "DejaVu Sans", "Bitstream Vera Sans", Geneva, Verdana, sans-serif ;
	} ;
}


.sidebar {
    font-size:.85em ;
  margin: 2em 5% 2em 5%;
  padding: 0.5em 1em;
  border: 1px solid silver;
}

div.sidebartitle{
    font-weight:bold;
    font-variant: small-caps ;
    border-bottom: 1px solid silver ;
    text-align: center ;
}


.example {
    font-size:.85em ;
    margin: 2em 5% 2em 5%;
    padding: 0.5em 1em;
    border: 1px solid silver;
}

div.exampletitle{
    font-weight:bold;
    font-variant: small-caps ;
    border-bottom: 1px solid silver ;
    text-align: center ;
}