diff options
Diffstat (limited to 'documentation/bsp-guide')
-rw-r--r-- | documentation/bsp-guide/bsp-style.css | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/documentation/bsp-guide/bsp-style.css b/documentation/bsp-guide/bsp-style.css index 6a3179e731..e407ca4a72 100644 --- a/documentation/bsp-guide/bsp-style.css +++ b/documentation/bsp-guide/bsp-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 | ||
317 | div.informalfigure, | 324 | div.informalfigure, |
318 | div.informalexample, | 325 | div.informalexample, |