overflow-x: hidden;
overflow-y: auto;
opacity: 0.9;
+ z-index: 99;
}
#toc ol, #themes ol {
color: #777;
padding: 0 0.5em;
width: 7.5em;
+
font-style: normal;
font-weight: normal;
+ font-variant: normal;
+ letter-spacing: 0;
+ text-transform: none;
+ text-decoration: none;
+
font-size: 16px;
float: right;
margin-right: -9.5em;