/* Title of the website on the left instead of the default in the middle */
.title {
	text-align: left;
}

/* Suppress the automatically generated name "Table of Contents" */
#table-of-contents>h2 {
	display: none;
}

/* Display ToC horizontally to make a header */
#text-table-of-contents>ul {
	list-style: none;
	padding: 0;
}

#text-table-of-contents li {
	display: inline !important;
	margin-right: 20px;
}