Toc.css

Nota: dopo aver pubblicato, potrebbe essere necessario pulire la cache del proprio browser per vedere i cambiamenti.

Firefox / Safari: tieni premuto il tasto delle maiuscole Shift e fai clic su Ricarica, oppure premi Ctrl-F5 o Ctrl-R (⌘-R su Mac)
Google Chrome: premi Ctrl-Shift-R (⌘-Shift-R su un Mac)
Internet Explorer / Edge: tieni premuto il tasto Ctrl e fai clic su Aggiorna, oppure premi Ctrl-F5
Opera: premi Ctrl-F5.

.page-content div.toc {
	min-width: 150px;
	background-color: var(--theme-color1);
	color: var(--theme-color4);
	border: 2px solid var(--theme-color4) !important;
	border-radius: 10px;
}
.page-content div.toc ul {
	list-style-type: none;
	margin: 10px 5px;
}
.page-content div.toc .toctitle {
	margin: 2px;
	padding: 2px 4px;
	background: var(--theme-color3);
	color: var(--theme-color4);
	font-weight: bold;
	text-align: center;
	border-radius: 10px;
}
.page-content div.toc .toctitle svg {
    fill: var(--theme-color4);
}
.page-content div.toc .toctitle h2 {
    color: inherit;
}
.page-content div.toc .toctitle .toctogglespan,
.page-content div.toc .toctitle .toctogglespan:before,
.page-content div.toc .toctitle .toctogglespan:after,
.page-content div.toc .toctitle .toctogglelabel {
	color: inherit;
}
.page-content div.toc ul li a {
    color: inherit;
}
.page-content div.toc ul li a .tocnumber {
    color: var(--theme-color3);
}
.page-content div.toc ul li a:hover {
    background: var(--theme-color2);
    color: var(--theme-color4);
}