body {
	margin: 10px;
    padding-bottom: 60px;
    font-family: sans-serif;
    line-height: 1.4;
}
table td {
	padding: 1px 10px;
}
table thead td {
	font-weight: bold;
}
ul li {
	margin-top: .3em;
}
span.icon {
	padding-left: 5px;
	padding-right: 5px;
	background-color: #ff0;
	color:#00d;
	border: 1px solid #00f;
	font-weight: bolder;
}
h1,h2,h3 {
	margin-top: 1.5em;
	margin-bottom: .5em;
}
h1 {
	margin-top: 0.5em;
	color: #00f;
}
h2,h3,h4,h5,h6 {
	color: #00c;
}
div.h2 {
	margin-left: 5px;
}
div.h3 {
	margin-left: 10px;
}
div.h4 {
	margin-left: 15px;
}
dd {
	margin-bottom: .4em;
}
pre {
    font-family: monospace;
    border: 2px solid rgb(210,210,210);
    background-color: rgb(240,240,240);
    border-radius: 8px;
    padding: 10px;
    margin: 0px 20px;
}
details.example {
    margin-top: 0.25em;
    margin-left: 1em;
}
details.example > summary {
    cursor: pointer;
    color: #666;
    font-size: 0.875em;
    user-select: none;
}
details.example > summary:hover {
    color: #00c;
}
details.example pre {
    margin: 0.3em 0 0.2em 0;
    font-size: 0.9em;
}
#libhelpback {
    position: sticky;
    top: 0;
    z-index: 100;
    margin: -10px -10px 1em -10px;
    padding: 8px 10px;
    background-color: #fff;
    border-bottom: 1px solid #ddd;
    display: flex;
    justify-content: space-between;
    align-items: center;
}
#floating-top-btn {
    text-decoration: none;
    font-size: 0.9em;
}
#floating-top-btn:hover {
    text-decoration: underline;
}