@import url(http://fonts.googleapis.com/css?family=Ubuntu+Mono|Ubuntu:300,300italic);
/*
 * general settings
 */

body {
  font-family: Ubuntu, Verdana, Arial, Helvetica, sans-serif;
  font-size: 11pt;
  margin: 10px 20px 10px 20px;
}

h1 {
  font-size: 150%;
  font-weight: bold;
  font-variant:small-caps;
  color: #0677ce;
  background-color: inherit;
  margin-bottom: 0.125em;
}

h2 {
  font-size: 140%;
  margin-bottom: 0.125em;
}

h3 {
 font-size: 130%;
  margin-bottom: 0.125em;
}


h4 {
  font-size: 120%;
  margin:  0;
}

h5, h6 {
  font-size: 100%;
  font-style: italic;
  margin:  0;
}

img {
border: solid 1pt #c0c0c0;
padding: 5pt;
	box-shadow: #777 5px 5px 5px;
	-moz-box-shadow: #777 5px 5px 5px;
	-webkit-box-shadow: #777 5px 5px 5px;
}

div.footer img {
	border: none;
	padding: none;
	box-shadow: none;
	-moz-box-shadow: none;
	-webkit-box-shadow: none;
}

dl.properties {
  list-style: none;
  margin: 0px 0.5em 0px 0.5em;
  padding: 0px;
}

dl.properties dt {
  font-style: italic;
  text-align: right;
  float: left;
  width: 6em;
  margin-bottom: 0.125em;
}

dl.properties dt:after {
  content: ":";
}

dl.properties dd {
  margin-left: 6.5em;
  margin-bottom: 0.125em;
}

a:link {
  color: #0677ce;
  background-color: inherit;
  text-decoration: none;
}

a:visited {
  color: #b8b8b8;
  background-color: inherit;
  text-decoration: none;
}

a:hover {
  color:#ff4400;
  background-color: inherit;
  text-decoration: none;
}

a.external:before {
  content:url(images/external.png);
}

a.bibtex:after {
	content:url(images/bibtex.gif);
}

a.pdf:after {
	content:url(images/pdf.gif);
}

a.download {
 	font-size:iherit;
}
	
a.download:before {
	content:url(images/download.png);
}

a.view {
 	font-size:9pt;
}

a.view:before {
	content:url(images/view.png);
}

a.pub {
	font-variant: small-caps;
}

a.pub:before {
	content:  "[";
}

a.pub:after {
	content: "]";
}

/*pre { 
	font-family: "Ubuntu Mono", fixed, monospace;
}*/

code { 
	font-family: "Ubuntu Mono", fixed, monospace;
	line-height: 100%;
}

pre,div.code { 
	font-family: "Ubuntu Mono", fixed, monospace;
	line-height: 150%;
}

.warning {
	font-style: italic;
}

p.input {
	font-family: "Ubuntu Mono", fixed, monospace;
}

.update {
	border-style: solid;
	border-color: #0677ce;
	border-width: 1pt;
	border-radius: 5px;
	-moz-border-radius: 5px;
	-webkit-border-radius: 5px;
	padding: 3pt;
	margin-top: 5pt;
}

pre.code {
	margin: 0px 0.5em 15px 0.5em;
	padding: 1px;
	background-color: #c0c0c0;
	border: solid black 1px;
	overflow: auto;
	font: 10pt "Ubuntu Mono", "Consolas", "Bitstream Vera Sans Mono", "Courier New", "Courier", monospace;
	line-height: 100%;
	border-radius: 4px;
	box-shadow: #777 5px 5px 5px;
	-webkit-border-radius: 4px;
	-moz-border-radius: 4px;
	-webkit-border-radius: 4px;
	-moz-box-shadow: #777 5px 5px 5px;
	-webkit-box-shadow: #777 5px 5px 5px;
}

.xs {
	font-variant: small-caps;
}

dl.properties {
  list-style: none;
  margin: 0px 0.5em 0px 0.5em;
  padding: 0px;
}

dl.properties dt {
  font-style: italic;
  text-align: right;
  float: left;
  width: 6em;
  margin-bottom: 0.125em;
}

dl.properties dt:after {
  content: ":";
}

dl.properties dd {
  margin-left: 6.5em;
  margin-bottom: 0.125em;
}

div.menu {
	margin-top: 5px;
}

div.menu ul {
  display: inline;
  list-style: none;
  margin: 0px;
  padding: 0px;

}

div.menu ul li {
  display: inline;
  font-weight: bold;
}

div.menu ul li + li:before {
  content: " - ";
}

div.footer {
  font-size: 80%;
  margin: 0.5em 0px 0px 0px;
}


div.footer ul {
  margin: 0px;
  padding: 0px;
  list-style: none;
}

div.footer li {
  display: inline;
  padding-right: 2em;
}

div.footer li:before {
  content: url("images/bullet.png");
  padding-right: 0.5em;
}

div.footer a {
	text-decoration: none;
	border: none;
}

div.footer a img {
	border: none;
	float: right;
}

div.footer div.copy {
	float: left;
}

div.picture {
  float: left;
  padding: 5px 0px 0px 2px;
  margin: 0px 20px 0px 0px;
}

div#info {
  float: left;
  padding: 0px;
  margin: 0px 0px 0px 0px;
}

div#info p:first-child {
  margin-top: 0px;
  padding-top: 0px;
}

div.clear {
  clear: both;
  padding: 0px;
  margin: 0px;
}


ul.features li {
  margin: 0px 0px 0.5em 0px;
}

ul.publications {
  list-style: none;
  margin: 0px 0.5em 0px 0.5em;
  padding: 0px;
}

ul.publications li  {
  margin-bottom: 0.75em;
}

span.bibtitle {
  font-style: italic;
}

hr {
  height: 1px;
  /*color: #000000;*/
  background-color: #000000;
  margin: 0px;
  border: 0px none;
  width: 100%;
}