+/* Heading anchors */
+.heading:link, .heading:visited {
+ border: none;
+ color: #d7d7d7;
+ font-size: .8em;
+ vertical-align: text-top;
+}
+* > .heading:link, * > .heading:visited {
+ visibility: hidden;
+}
+
+h1:hover .heading, h2:hover .heading, h3:hover .heading,
+h4:hover .heading, h5:hover .heading, h6:hover .heading {
+ visibility: visible;
+}
+
+strong.DONE {
+ padding-left: 0.1em;
+ background-color: #22ee22;
+}
+
+strong.TODO {
+ padding-left: 0.1em;
+ background-color: #ffdd44;
+}
+
+strong.FIXME {