/* General layout stylesheet
   Copyright 2003- Laura Frasca */

html,body {
/*  font-family: "dejavu serif", palatino, georgia, times new roman, serif; */
  font-family: serif;
}

label {
  font-weight: bold;
}

em { font-style: italic; }
strong { font-weight: bold; }
del {  text-decoration: line-through; }
ins {
  text-decoration: none;
  border-bottom-style: dashed;
  border-bottom-width: 1px;
  border-bottom-color: inherit;
}

.center {
  text-align: center; }

.noindent {
  text-indent: 0; }

.bold {
  font-weight: bold;
}
.monospace {
  font-family: "dejavu mono", monospace;
}

.floatleft {
	float: left;
	clear: left;
	vertical-align: bottom;
}
.floatright {
	float: right;
	clear: right;
	vertical-align: bottom;
}
.floatnormal {
	clear: both;
}
.imagefloatleft {
	float: left;
	clear: left;
  margin-right: 0.5em;
}
.imagefloatright {
	float: right;
	clear: right;
  margin-left: 0.5em;
}

.valigntop {
	vertical-align: top;
}

q:before { content: open-quote; }
q:after { content: close-quote; }
/* q:lang(en) { quotes: "\201C" "\201D" "\2018" "\2019" "\201C" "\201D"; } /* three levels of quoting */
q {
  quotes: "\201C" "\201D" "\2018" "\2019" "\201C" "\201D"; /* three levels of quoting */
  /* font-style: normal; /* mozilla etc. will show quotations in normal text */ }
q q { /* levels of quoting aren't working correctly, so must have this hack */
  quotes: "\2018" "\2019"; }
q q q {
  quotes: "\201C" "\201D"; }
/* q { font-style: italic; } /* IE will show quotations in italics */

dt { font-weight: bold; }
tt { font-size: 1em; }
*[lang] { font-style: italic; }
*[lang|="en"] { font-style: normal; }

div#footer {
  clear: both;
  text-align: center; }