/*************************************
 * default-shortlist.css             *
 * Default style, but with a shorter *
 * ToC                               *
 * dave / 2005-05-27                 *
 *************************************/
 
@import url('style.css');

.toc li ul {
	display: none;
}