diff --git a/site/stylesheet.css b/site/stylesheet.css index 71d6fb8..385b84d 100644 --- a/site/stylesheet.css +++ b/site/stylesheet.css @@ -106,6 +106,27 @@ pre { margin: 10px; } +#table-of-contents { + position: absolute; + top: 0; + left: 20px; + overflow: auto; + background-color: #262a2b; +} + +#table-of-contents h2 { + font-size: medium; +} + +#table-of-contents:hover #text-table-of-contents { + display: block; + border: 1px #000000 solid; +} + +#text-table-of-contents { + display: none; +} + /* Org font-locking */ .src { background-color: #002b36;