body {
	background: #323840;
	color: black;
	vertical-align: top;
	margin: 2ex;
  font-family: sans-serif;
  font-size: 80%;
}

pre {
	font-size: 10pt;  /* to make it fit a narrow column better. */
	padding-left: 2ex;
	background: #DDDDDD;
	overflow: auto;
}
a:hover {
	text-decoration: underline;
}

div.header {
	text-align: center;
}
h1 {
  color: white;
	text-transform: lowercase;
	margin: 0;
}
div.lastupdate {
	font-size: 80%;
  color: #eee;
}

address {
	font-size: 80%;
	text-align: right;
}

.content {
  background: white;
	padding: 2ex 4ex;
	margin: 0 auto;
	width: 60ex;
  border: solid 1px black;
}

h2 {
	font-size: 100%;
	font-weight: bold;
	padding-left: 1ex;
	border-left: solid 2px #323840;
}

.darcsbox {
  background: #eef;
	margin: 1ex;
	padding: 1ex;
	font-size: 80%;
}
.darcsbox p {
  padding: 0;
	margin: 0;
}
.darcsbox pre {
	margin: 0;
  padding: 0 2ex;
	background: #eef;
}
.darcsbox ul {
	padding: 0;
	margin: 0;
	padding-left: 3ex;
}

/* vim: set ts=2 sw=2 : */
