diff options
| -rw-r--r-- | doc/style.css | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/doc/style.css b/doc/style.css index fa366af..e481ef0 100644 --- a/doc/style.css +++ b/doc/style.css @@ -511,8 +511,14 @@ td.entry { padding-right: 1em; } -td.entry .arrow { - display: none; +.arrow { + color: #CCC; + user-select: none; + font-size: 80%; + display: inline-block; + width: 16px; + height: 22px; + vertical-align: top; } td.entry b { |