.code-output {
	margin: 1em 0;
	border: 1px solid black;
	padding: 1em;
	padding-top: 0;
	display: none;
}
[open] {
	display: block;
}

.code-nav > button {
	background-color: whitesmoke; 
	padding-left: 2px;
	padding-right: 2px;
	font-size: 0.9em;
	border: 3px outset lightsteelblue;
}

/** Highlight a topic when mouse is over it.
*	1.background is something to play with
*/
.code-nav > button:hover {
	background-image: linear-gradient(saddlebrown, lightsteelblue, lightsteelblue, lightsteelblue, saddlebrown);
	cursor: pointer;
}

/** Highlight a topic when it has been clicked.
*	1.background is something to play with
*/
.code-nav > button.clicked {
	background-image: linear-gradient(saddlebrown, lightsteelblue, lightsteelblue, lightsteelblue, saddlebrown);
	cursor: pointer;
}