e47dc42d9c0374e4bb93c70439448bc3eb0dd715
41 /* Table of contents */
67 text-decoration: underline
;
72 text-decoration: none
;
101 h1
.pagetitle
.editsection
{
152 background-color: gray
;
175 border-top: 1px solid gray
;
179 border-bottom: 1px solid gray
;