2828 --navbar-text-color : # ffffff ;
2929 /* Background color for subnavigation and various headers */
3030 --subnav-background-color : # dee3e9 ;
31- /* Background and text colors for highlighted elements */
32- --highlight-background-color : # f8981d ;
33- --highlight-text-color : # 253441 ;
31+ /* Background and text colors for selected tabs and navigation items */
32+ --selected-background-color : # f8981d ;
33+ --selected-text-color : # 253441 ;
34+ --selected-link-color : # 1f389c ;
3435 /* Background colors for generated tables */
3536 --even-row-color : # ffffff ;
3637 --odd-row-color : # eeeeef ;
4243 /* Snippet colors */
4344 --snippet-background-color : # ebecee ;
4445 --snippet-text-color : var (--block-text-color );
46+ --snippet-highlight-color : # f7c590 ;
4547 /* Border colors for structural elements and user defined tables */
4648 --border-color : # ededed ;
4749 --table-border-color : # 000000 ;
50+ /* Search input colors */
51+ --search-input-background-color : # ffffff ;
52+ --search-input-text-color : # 000000 ;
53+ --search-input-placeholder-color : # 909090 ;
54+ /* Highlight color for active search tag target */
55+ --search-tag-highlight-color : # ffff00 ;
56+ /* Adjustments for icon and active background colors of copy-to-clipboard buttons */
57+ --copy-icon-brightness : 100% ;
58+ --copy-button-background-color-active : rgba (168 , 168 , 176 , 0.3 );
59+ /* Colors for invalid tag notifications */
60+ --invalid-tag-background-color : # ffe6e6 ;
61+ --invalid-tag-text-color : # 000000 ;
4862}
4963/*
5064 * Styles for individual HTML elements.
@@ -78,9 +92,6 @@ a[href]:hover, a[href]:focus {
7892 text-decoration : none;
7993 color : var (--link-color-active );
8094}
81- a [name ] {
82- color : # 353833 ;
83- }
8495pre {
8596 font-family : var (--code-font-family );
8697 font-size : 1em ;
@@ -180,11 +191,10 @@ button {
180191 background-color : var (--navbar-background-color );
181192 color : var (--navbar-text-color );
182193 float : left;
183- padding : 0 ;
184194 width : 100% ;
185195 clear : right;
186196 min-height : 2.8em ;
187- padding-top : 10px ;
197+ padding : 10px 0 0 0 ;
188198 overflow : hidden;
189199 font-size : 0.857em ;
190200}
@@ -244,11 +254,11 @@ ul.sub-nav-list li {
244254 text-transform : uppercase;
245255}
246256.top-nav a : hover {
247- color : # bb7a2a ;
257+ color : var ( --link-color-active ) ;
248258}
249259.nav-bar-cell1-rev {
250- background-color : var (--highlight -background-color );
251- color : var (--highlight -text-color );
260+ background-color : var (--selected -background-color );
261+ color : var (--selected -text-color );
252262 margin : auto 5px ;
253263}
254264.skip-nav {
@@ -311,7 +321,7 @@ main {
311321 position : relative;
312322}
313323dl .notes > dt {
314- font-family : 'DejaVu Sans' , Arial , Helvetica , sans-serif ;
324+ font-family : var ( --body-font-family ) ;
315325 font-size : 0.856em ;
316326 font-weight : bold;
317327 margin : 10px 0 0 0 ;
@@ -366,7 +376,6 @@ ul.summary-list > li {
366376 line-height : 1.4 ;
367377}
368378ul .ref-list {
369- margin-left : 0 ;
370379 padding : 0 ;
371380 margin : 0 ;
372381}
@@ -409,16 +418,14 @@ ul.preview-feature-list {
409418 position : relative;
410419 text-align : left;
411420 background-repeat : no-repeat;
412- color : # 253441 ;
421+ color : var ( --selected-text-color ) ;
413422 clear : none;
414423 overflow : hidden;
415- padding : 0 ;
416- padding-top : 10px ;
417- padding-left : 1px ;
424+ padding : 10px 0 0 1px ;
418425 margin : 0 ;
419426}
420427.caption a : link , .caption a : visited {
421- color : # 1f389c ;
428+ color : var ( --selected-link-color ) ;
422429}
423430.caption a : hover ,
424431.caption a : active {
@@ -430,20 +437,14 @@ ul.preview-feature-list {
430437 padding : 5px 12px 7px 12px ;
431438 display : inline-block;
432439 float : left;
433- background-color : var (--highlight -background-color );
440+ background-color : var (--selected -background-color );
434441 border : none;
435442 height : 16px ;
436443}
437444div .table-tabs {
438445 padding : 10px 0 0 1px ;
439446 margin : 10px 0 0 0 ;
440447}
441- div .table-tabs > span {
442- background-color : # EEE ;
443- color : # 000 ;
444- border : none;
445- padding : 5px 12px 8px 12px ;
446- }
447448div .table-tabs > button {
448449 border : none;
449450 cursor : pointer;
@@ -452,8 +453,8 @@ div.table-tabs > button {
452453 margin-right : 8px ;
453454}
454455div .table-tabs > .active-table-tab {
455- background : var (--highlight -background-color );
456- color : var (--highlight -text-color );
456+ background : var (--selected -background-color );
457+ color : var (--selected -text-color );
457458}
458459div .table-tabs > button .table-tab {
459460 background : var (--navbar-background-color );
@@ -635,7 +636,8 @@ div.block {
635636 * Styles for formatting effect.
636637 */
637638.source-line-no {
638- color:green;
639+ /* Color of line numbers in source pages can be set via custom property below */
640+ color:var(--source-linenumber-color, green);
639641 padding:0 30px 0 0;
640642}
641643.block {
@@ -679,8 +681,9 @@ div.block div.deprecation-comment {
679681details.invalid-tag, span.invalid-tag {
680682 font-size:1em;
681683 font-family:var(--block-font-family);
682- background: #ffe6e6;
683- border: thin solid #000000;
684+ color: var(--invalid-tag-text-color);
685+ background: var(--invalid-tag-background-color);
686+ border: thin solid var(--table-border-color);
684687 border-radius:2px;
685688 padding: 2px 4px;
686689 display:inline-block;
@@ -699,9 +702,9 @@ main, nav, header, footer, section {
699702 */
700703.ui-state-active {
701704 /* Overrides the color of selection used in jQuery UI */
702- background: var(--highlight -background-color);
703- border: 1px solid var(--highlight -background-color);
704- color: var(--highlight -text-color);
705+ background: var(--selected -background-color);
706+ border: 1px solid var(--selected -background-color);
707+ color: var(--selected -text-color);
705708}
706709.ui-autocomplete-category {
707710 font-weight:bold;
@@ -735,14 +738,14 @@ ul.ui-autocomplete li.ui-static-link {
735738 left:0;
736739 background: var(--subnav-background-color);
737740 padding: 5px 0;
738- font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif ;
741+ font-family: var(--body-font-family) ;
739742 font-size: 0.93em;
740743 font-weight: bolder;
741744 z-index: 2;
742745}
743746li.ui-static-link a, li.ui-static-link a:visited {
744747 text-decoration:none;
745- color:#4A6782 ;
748+ color:var(--link-color) ;
746749 float:right;
747750 margin-right:20px;
748751}
@@ -757,6 +760,9 @@ li.ui-static-link a, li.ui-static-link a:visited {
757760 background-size:13px;
758761 background-repeat:no-repeat;
759762 background-position:2px 3px;
763+ background-color: var(--search-input-background-color);
764+ color: var(--search-input-text-color);
765+ border-color: var(--border-color);
760766 padding-left:20px;
761767 width: 250px;
762768 margin: 0;
@@ -779,7 +785,7 @@ li.ui-static-link a, li.ui-static-link a:visited {
779785 font-size:0;
780786}
781787::placeholder {
782- color:#909090 ;
788+ color:var(--search-input-placeholder-color) ;
783789 opacity: 1;
784790}
785791.search-tag-desc-result {
@@ -791,7 +797,7 @@ li.ui-static-link a, li.ui-static-link a:visited {
791797 font-size:12px;
792798}
793799.search-tag-result:target {
794- background-color:yellow ;
800+ background-color:var(--search-tag-highlight-color) ;
795801}
796802details.page-search-details {
797803 display: inline-block;
@@ -923,6 +929,10 @@ button.copy:active {
923929button .copy img {
924930 position : relative;
925931 background : none;
932+ filter : brightness (var (--copy-icon-brightness ));
933+ }
934+ button .copy : active {
935+ background-color : var (--copy-button-background-color-active );
926936}
927937button .copy span {
928938 color : var (--body-text-color );
@@ -942,9 +952,6 @@ button.copy-header img {
942952 height : 0.88em ;
943953 top : 0.1em ;
944954}
945- button .copy-header : active {
946- background-color : rgba (128 , 128 , 160 , 0.2 );
947- }
948955/* search page copy button */
949956button # page-search-copy {
950957 margin-left : 0.4em ;
@@ -969,12 +976,6 @@ div.page-search-info:hover button#page-search-copy,
969976div .page-search-info : hover button # page-search-copy span {
970977 opacity : 90% ;
971978}
972- div .page-search-info button # page-search-copy : hover {
973- background-color : rgba (128 , 128 , 160 , 0.2 );
974- }
975- div .page-search-info button # page-search-copy : active {
976- background-color : rgba (128 , 128 , 160 , 0.4 );
977- }
978979/* snippet copy button */
979980button .snippet-copy {
980981 position : absolute;
@@ -1006,9 +1007,6 @@ div.snippet-container:hover button.snippet-copy {
10061007div .snippet-container button .snippet-copy : hover {
10071008 opacity : 100% ;
10081009}
1009- button .snippet-copy : active {
1010- background-color : rgba (128 , 128 , 160 , 0.2 );
1011- }
10121010/*
10131011 * Styles for user-provided tables.
10141012 *
@@ -1260,6 +1258,6 @@ pre.snippet .bold {
12601258 font-weight : bold;
12611259}
12621260pre .snippet .highlighted {
1263- background-color : # f7c590 ;
1261+ background-color : var ( --snippet-highlight-color ) ;
12641262 border-radius : 10% ;
12651263}
0 commit comments