/* Themes */
#themes {
	padding: 0;
	margin-top: 0;
	padding-bottom: 0.5em;
}
#themes dt {
	font-weight: bold;
}
#themes dd {
	padding: 0;
	margin: 0;
}
#themes .theme {
	margin-top: 0.2em;
	display: list-item;
	font-size: 90%;
}
#themes .theme, #themes .ssthemes {
	margin-left: 1.5em;
	margin-right: 0.2em;
}
#themes .ssthemes {
	margin-left: 2.3em;
	font-size: 90%;
}
#themes .ssthemes dd {
	display: list-item;
	list-style-type: circle;
}
#themes .on a {
	text-decoration: none;
	color: #000;
}