.vkey {
	color: #c03030;
	font-size: 90%;
	font-weight: bold;
}
.note {
	color: #880;
	font-size: 80%;
	border-width: 1px;
	border-style: dotted;
	border-color: #800;
	max-width: 90%;
	margin: 1px;
	padding: 1px;
}
.description {
	font-size: 80%;
	font-style: italic;
	border-width: 1px;
	border-style: solid;
	border-color: #000080;
	max-width: 90%;
	margin: 0.1em;
	margin-top: 0;
	padding: 0.5em;
}
.deschead {
	margin-left: 0.1em;
	border: 1px solid #000080;
	border-bottom: none;
	padding-left: 1em;
	padding-right: 1em;
	font-size: 95%;
}

#currentpage {
  background: #44f;
}

div.fixedmenu a.alang, div.fixedmenu a.amenu {
  display: inline;
}

div.fixedmenu a.clang, div.fixedmenu a.cmenu {
  background: blue;
  color: white;
  display: inline;
}

.langs, .menus {
	margin: 0.5em;
	font-size:70%;
}

table#stats {
	font-size: 60%;
}

table#stats th, table#stats td {
	border: 1px dotted;
	text-align: left;
	padding: 0.2em;
}

.news {
	margin-left: 1%;
	font-size: 97%;
}

pre {
	padding: 0.5em;
	max-width: 98%;
	border: 1px solid #000080;
}

div.mainnews {
  position: absolute;
  top: 0;
  padding-top: 0.3em;
  padding-bottom: 0.3em;
  left: 1%;
  right: 1%;
  border: 1px dashed #000080;
  font-size: 70%;
  background: #dde;
  color: #422;
  text-align: center;
}

div.IEsucks>div.mainnews {
  position: fixed;
}

div.googleads {
  position: absolute;
  top: 20%;
  right: 0.2em;
  border: 3px double;
  clip: rect(0, auto, auto, 3.4em);
}

div.googleads:hover {
  clip: rect(0, auto, auto, 0);
}

div.IEsucks>div.googleads {
  position: fixed;
}

#sbi:focus {
  color: #000;
  text-decoration: none;
  font-size: 85% !important;
}
/* vim: set ts=3 : */