Browse Source

Fix search highlighting not working

pull/6183/head
Rapptz 4 years ago
parent
commit
66ede7c5a0
  1. 9
      docs/_static/style.css
  2. 2
      docs/_templates/layout.html

9
docs/_static/style.css

@ -104,6 +104,7 @@ Historically however, thanks to:
--attribute-table-entry-hover-background: var(--grey-2); --attribute-table-entry-hover-background: var(--grey-2);
--attribute-table-entry-hover-text: var(--blue-2); --attribute-table-entry-hover-text: var(--blue-2);
--attribute-table-badge: var(--grey-7); --attribute-table-badge: var(--grey-7);
--highlighted-text: rgb(252, 233, 103);
} }
:root[data-font="serif"] { :root[data-font="serif"] {
@ -163,6 +164,7 @@ Historically however, thanks to:
--attribute-table-entry-hover-background: var(--grey-6); --attribute-table-entry-hover-background: var(--grey-6);
--attribute-table-entry-hover-text: var(--blue-1); --attribute-table-entry-hover-text: var(--blue-1);
--attribute-table-badge: var(--grey-4); --attribute-table-badge: var(--grey-4);
--highlighted-text: rgba(252, 233, 103, 0.4);
} }
img[src$="snake_dark.svg"] { img[src$="snake_dark.svg"] {
@ -1014,6 +1016,13 @@ dd {
margin-left: 1.5em; margin-left: 1.5em;
} }
dt:target, span.highlighted {
background-color: var(--highlighted-text);
}
rect.highlighted {
fill: var(--highlighted-text);
}
.container.operations { .container.operations {
padding: 10px; padding: 10px;

2
docs/_templates/layout.html

@ -115,7 +115,7 @@
</div> </div>
</aside> </aside>
{#- The actual body of the contents #} {#- The actual body of the contents #}
<main class="grid-item"> <main class="grid-item" role="main">
{% block body %} {% endblock %} {% block body %} {% endblock %}
</main> </main>
{%- block footer %} {%- block footer %}

Loading…
Cancel
Save