/* fancyindex override — applied to every directory listing under /pub/. */
table#list {
	margin-bottom: 2em;
}