Modify Table of Contents heading

This commit is contained in:
Tom Willemsen 2012-06-21 23:18:01 +02:00
parent 604268e5b5
commit a349a7113b

View file

@ -106,6 +106,27 @@ pre {
margin: 10px; 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 */ /* Org font-locking */
.src { .src {
background-color: #002b36; background-color: #002b36;