summaryrefslogtreecommitdiffstats
path: root/documentation/profile-manual
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/profile-manual')
-rw-r--r--documentation/profile-manual/profile-manual-style.css7
1 files changed, 7 insertions, 0 deletions
diff --git a/documentation/profile-manual/profile-manual-style.css b/documentation/profile-manual/profile-manual-style.css
index b60ea1c82c..f3cca8536d 100644
--- a/documentation/profile-manual/profile-manual-style.css
+++ b/documentation/profile-manual/profile-manual-style.css
@@ -313,6 +313,13 @@ a:hover {
313 /*font-weight: bold;*/ 313 /*font-weight: bold;*/
314} 314}
315 315
316/* This style defines how the permalink character
317 appears by itself and when hovered over with
318 the mouse. */
319
320[alt='Permalink'] { color: #eee; }
321[alt='Permalink']:hover { color: black; }
322
316 323
317div.informalfigure, 324div.informalfigure,
318div.informalexample, 325div.informalexample,