<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">li &gt; a.paramlink {
	visibility: hidden;
}


p:hover &gt; a.headerlink, p:hover &gt; a.paramlink, li:hover &gt; a.paramlink, li:hover &gt; a.headerlink {
   visibility: visible;
}

</pre></body></html>