Skip to content
Snippets Groups Projects
Commit 480d6ea8 authored by Mark Lentczner's avatar Mark Lentczner
Browse files

removed underlining on hover for named anchors

	headings in interface lost thier a element, no need, just put id on heading
	css for a elements now only applies to those with href attribute
parent d9c7695f
No related branches found
No related tags found
No related merge requests found
......@@ -19,9 +19,9 @@ p { margin: 0.5em 0; }
ul { margin-left: 2em; }
a { text-decoration: none; }
a:link { color: rgb(196,69,29); }
a:visited { color: rgb(171,105,84); }
a:hover { text-decoration:underline; }
a[href]:link { color: rgb(196,69,29); }
a[href]:visited { color: rgb(171,105,84); }
a[href]:hover { text-decoration:underline; }
/* @end */
......
......@@ -606,7 +606,7 @@ numberSectionHeadings exports = go 1 exports
processExport :: Bool -> LinksInfo -> Bool -> (ExportItem DocName) -> Maybe Html
processExport summary _ _ (ExportGroup lev id0 doc)
= nothingIf summary $ groupTag lev << namedAnchor id0 << docToHtml doc
= nothingIf summary $ groupTag lev ! [identifier id0] << docToHtml doc
processExport summary links unicode (ExportDecl decl doc subdocs insts)
= processDecl summary $ ppDecl summary links decl doc insts subdocs unicode
processExport summary _ _ (ExportNoDecl y [])
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment