diff options
| -rw-r--r-- | Doc/tools/sphinxext/static/basic.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css index d1811b0c00f..2860d60adf3 100644 --- a/Doc/tools/sphinxext/static/basic.css +++ b/Doc/tools/sphinxext/static/basic.css @@ -342,7 +342,7 @@ p.deprecated, p.deprecated-removed { } .footnote:target { - background-color: #ffa + background-color: #ffa; } .impl-detail { |