#synthetic-implementations, #synthetic-implementations + ul, #synthetic-implementations-list, .synthetic-implementation {
    display: none;
}

#blanket-implementations, #blanket-implementations + ul, #blanket-implementations-list, .blanket-implementation, .blanket-implementation ~  h3 {
    display: none;
}

#dyn-compatibility, #dyn-compatibility-info, .dyn-compatibility-info {
    display: none;
}

/* The official lua-logo.gif has a white background; frame it as a badge
   so it sits well on the dark theme. */
.logo-container img {
    height: 72px;
    width: 72px;
}

/* rustdoc scopes its token colors to pre.rust — extend them to our Lua
   blocks, which reuse the same classes (see highlightLua in custom.html). */
pre.language-lua .kw       { color: var(--code-highlight-kw-color); }
pre.language-lua .string   { color: var(--code-highlight-string-color); }
pre.language-lua .number   { color: var(--code-highlight-number-color); }
pre.language-lua .comment  { color: var(--code-highlight-comment-color); }
pre.language-lua .bool-val { color: var(--code-highlight-literal-color); }
pre.language-lua .lua-call { color: var(--function-link-color); }

:root {
	--assoc-item-link-color: #8f8fff;
	--attribute-link-color: #d2991d;
	--border-color: #2a2a3a;
	--button-background-color: #f0f0f0;
	--code-attribute-color: #999;
	--code-block-background-color: #14141c;
	--code-example-button-color: #7f7f7f;
	--code-example-button-hover-color: #a5a5a5;
	--code-highlight-attribute-color: #ee6868;
	--code-highlight-comment-color: #8a8a8a;
	--code-highlight-doc-comment-color: #8ca375;
	--code-highlight-kw-2-color: #8f8fff;
	--code-highlight-kw-color: #8f8fff;
	--code-highlight-lifetime-color: #d97f26;
	--code-highlight-literal-color: #ee6868;
	--code-highlight-macro-color: #3e999f;
	--code-highlight-number-color: #83a300;
	--code-highlight-prelude-color: #769acb;
	--code-highlight-prelude-val-color: #ee6868;
	--code-highlight-question-mark-color: #ff9011;
	--code-highlight-self-color: #ee6868;
	--code-highlight-string-color: #c78fc7;
	--codeblock-error-color: rgba(255, 0, 0, .5);
	--codeblock-error-hover-color: rgb(255, 0, 0);
	--codeblock-ignore-color: rgba(255, 142, 0, .6);
	--codeblock-ignore-hover-color: rgb(255, 142, 0);
	--codeblock-link-background: #333;
	--copy-path-button-color: #999;
	--copy-path-img-filter: invert(50%);
	--copy-path-img-hover-filter: invert(65%);
	--crate-search-div-filter: invert(94%) sepia(0%) saturate(721%) hue-rotate(255deg) brightness(90%) contrast(90%);
	--crate-search-div-hover-filter: invert(69%) sepia(60%) saturate(6613%) hue-rotate(184deg) brightness(100%) contrast(91%);
	--crate-search-hover-border: #2196f3;
	--function-link-color: #d8a860;
	--headings-border-bottom-color: #8f8fff;
	--kbd-background: #fafbfc;
	--kbd-box-shadow-color: #c6cbd1;
	--kbd-color: #000;
	--keyword-link-color: #8f8fff;
	--link-color: #8f8fff;
	--macro-link-color: #09bd00;
	--main-background-color: #0d0d10;
	--main-color: #e8e8e8;
	--mobile-sidebar-menu-filter: invert(100%);
	--mod-link-color: #8f8fff;
	--notable-badge-blue: oklch(0.55 0.21 240);
	--notable-badge-green: oklch(0.55 0.21 150);
	--notable-badge-orange: oklch(0.55 0.21 70);
	--notable-badge-pink: oklch(0.55 0.21 0);
	--notable-badge-red: oklch(0.55 0.21 40);
	--notable-badge-violet: oklch(0.55 0.21 300);
	--right-side-color: #d0d0d0;
	--rust-logo-filter: drop-shadow(1px 0 0px #fff) drop-shadow(0 1px 0 #fff) drop-shadow(-1px 0 0 #fff) drop-shadow(0 -1px 0 #fff);
	--scrape-example-code-line-highlight: #5b3b01;
	--scrape-example-code-line-highlight-focus: #7c4b0f;
	--scrape-example-code-wrapper-background-end: rgba(53, 53, 53, 0);
	--scrape-example-code-wrapper-background-start: rgba(53, 53, 53, 1);
	--scrape-example-help-border-color: #aaa;
	--scrape-example-help-color: #eee;
	--scrape-example-help-hover-border-color: #fff;
	--scrape-example-help-hover-color: #fff;
	--scrape-example-toggle-line-background: #999;
	--scrape-example-toggle-line-hover-background: #c5c5c5;
	--scrollbar-color: rgba(32,34,37,.6) #5a5a5a;
	--scrollbar-thumb-background-color: rgba(32, 34, 37, .6);
	--scrollbar-track-background-color: #717171;
	--search-color: #111;
	--search-error-code-background-color: #484848;
	--search-input-focused-border-color: #8f8fff;
	--search-result-border-color: #aaa3;
	--search-result-link-focus-background-color: #616161;
	--search-results-alias-color: #fff;
	--search-results-grey-color: #ccc;
	--search-tab-button-not-selected-background: #252525;
	--search-tab-button-not-selected-border-top-color: #252525;
	--search-tab-button-selected-background: #353535;
	--search-tab-button-selected-border-top-color: #0089ff;
	--search-tab-title-count-color: #888;
	--settings-button-border-focus: #ffb900;
	--settings-button-color: #000;
	--settings-input-border-color: #999;
	--settings-input-color: #2196f3;
	--settings-menu-filter: invert(50%);
	--settings-menu-hover-filter: invert(65%);
	--sidebar-background-color: #141420;
	--sidebar-background-color-hover: #20203a;
	--sidebar-border-color: #999;
	--sidebar-current-link-background-color: #26264a;
	--sidebar-link-color: #a0a0ff;
	--sidebar-resizer-active: hsl(207, 90%, 54%);
	--sidebar-resizer-hover: hsl(207, 30%, 54%);
	--src-line-number-highlighted-background-color: #0a042f;
	--src-line-numbers-span-color: #3b91e2;
	--src-sidebar-background-hover: #444;
	--src-sidebar-background-selected: #333;
	--stab-background-color: #314559;
	--stab-code-color: #e6e1cf;
	--table-alt-row-background-color: #1d1d1d;
	--target-background-color: #1e1e3a;
	--target-border-color: #8f8fff;
	--toggle-filter: invert(100%);
	--toggles-color: #999;
	--trait-link-color: #b78cf2;
	--type-link-color: #2dbfb8;
	--warning-border-color: #ff8e00;
}