table{
	margin:10px auto;
}
th.description, th.categories{
	width:20em;
}
ul{
	list-style:none;
	margin:5px 0 5px 0;
	padding:5px;
}
li > ul{
	border-style:solid;
	border-color:#004;
	border-width:0 0 1px 1px;
}
tbody th{cursor:default;}

span.set_name{
	font-size:120%;
	text-decoration:underline;
}
span.line_name{
	font-size:110%;
}
div.display_tabs{
	border-style:ridge;
	border-color:#004;
	border-width:2px 0;
	padding:5px 0;
}