@@ -10394,38 +10394,6 @@ readers do not read off random characters that represent icons */
10394
10394
font-weight : 700 ;
10395
10395
src : url ("../fonts/source-code-pro/source-code-pro-v23-latin_latin-ext-700italic.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10396
10396
}
10397
- /* source-sans-3-200 - latin_latin-ext */
10398
- @font-face {
10399
- font-display : swap;
10400
- font-family : "Source Sans 3" ;
10401
- font-style : normal;
10402
- font-weight : 200 ;
10403
- src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-200.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10404
- }
10405
- /* source-sans-3-200italic - latin_latin-ext */
10406
- @font-face {
10407
- font-display : swap;
10408
- font-family : "Source Sans 3" ;
10409
- font-style : italic;
10410
- font-weight : 200 ;
10411
- src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-200italic.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10412
- }
10413
- /* source-sans-3-300 - latin_latin-ext */
10414
- @font-face {
10415
- font-display : swap;
10416
- font-family : "Source Sans 3" ;
10417
- font-style : normal;
10418
- font-weight : 300 ;
10419
- src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-300.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10420
- }
10421
- /* source-sans-3-300italic - latin_latin-ext */
10422
- @font-face {
10423
- font-display : swap;
10424
- font-family : "Source Sans 3" ;
10425
- font-style : italic;
10426
- font-weight : 300 ;
10427
- src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-300italic.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10428
- }
10429
10397
/* source-sans-3-regular - latin_latin-ext */
10430
10398
@font-face {
10431
10399
font-display : swap;
@@ -10442,38 +10410,6 @@ readers do not read off random characters that represent icons */
10442
10410
font-weight : 400 ;
10443
10411
src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-italic.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10444
10412
}
10445
- /* source-sans-3-500 - latin_latin-ext */
10446
- @font-face {
10447
- font-display : swap;
10448
- font-family : "Source Sans 3" ;
10449
- font-style : normal;
10450
- font-weight : 500 ;
10451
- src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-500.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10452
- }
10453
- /* source-sans-3-500italic - latin_latin-ext */
10454
- @font-face {
10455
- font-display : swap;
10456
- font-family : "Source Sans 3" ;
10457
- font-style : italic;
10458
- font-weight : 500 ;
10459
- src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-500italic.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10460
- }
10461
- /* source-sans-3-600 - latin_latin-ext */
10462
- @font-face {
10463
- font-display : swap;
10464
- font-family : "Source Sans 3" ;
10465
- font-style : normal;
10466
- font-weight : 600 ;
10467
- src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-600.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10468
- }
10469
- /* source-sans-3-600italic - latin_latin-ext */
10470
- @font-face {
10471
- font-display : swap;
10472
- font-family : "Source Sans 3" ;
10473
- font-style : italic;
10474
- font-weight : 600 ;
10475
- src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-600italic.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10476
- }
10477
10413
/* source-sans-3-700 - latin_latin-ext */
10478
10414
@font-face {
10479
10415
font-display : swap;
@@ -10490,38 +10426,6 @@ readers do not read off random characters that represent icons */
10490
10426
font-weight : 700 ;
10491
10427
src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-700italic.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10492
10428
}
10493
- /* source-sans-3-800 - latin_latin-ext */
10494
- @font-face {
10495
- font-display : swap;
10496
- font-family : "Source Sans 3" ;
10497
- font-style : normal;
10498
- font-weight : 800 ;
10499
- src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-800.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10500
- }
10501
- /* source-sans-3-800italic - latin_latin-ext */
10502
- @font-face {
10503
- font-display : swap;
10504
- font-family : "Source Sans 3" ;
10505
- font-style : italic;
10506
- font-weight : 800 ;
10507
- src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-800italic.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10508
- }
10509
- /* source-sans-3-900 - latin_latin-ext */
10510
- @font-face {
10511
- font-display : swap;
10512
- font-family : "Source Sans 3" ;
10513
- font-style : normal;
10514
- font-weight : 900 ;
10515
- src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-900.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10516
- }
10517
- /* source-sans-3-900italic - latin_latin-ext */
10518
- @font-face {
10519
- font-display : swap;
10520
- font-family : "Source Sans 3" ;
10521
- font-style : italic;
10522
- font-weight : 900 ;
10523
- src : url ("../fonts/source-sans-3/source-sans-3-v15-latin_latin-ext-900italic.woff2" ) format ("woff2" ); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
10524
- }
10525
10429
/* Equilibrium Light by Carlo Abelli - a nice light theme */
10526
10430
: root {
10527
10431
--base16-base00 : hsl (0 , 0% , 13% );
@@ -24956,36 +24860,6 @@ ul[class*=horizbuttons-][class*=-striking-] > li {
24956
24860
background-color : rgba (var (--bs-body-color-rgb ), 0.03 );
24957
24861
}
24958
24862
24959
- .displaysettingsui {
24960
- display : none;
24961
- }
24962
- @media (min-width : 1200px ) {
24963
- .displaysettingsui {
24964
- display : block;
24965
- }
24966
- }
24967
- .displaysettingsui .dsDivCogwheel {
24968
- text-align : right;
24969
- float : right;
24970
- }
24971
- .displaysettingsui .dsDivCogwheel i {
24972
- cursor : pointer;
24973
- color : hsl (32 , 100% , 50% );
24974
- }
24975
- .displaysettingsui .dsPanel {
24976
- border-radius : 0.2em ;
24977
- display : none;
24978
- background-color : hsl (0 , 0% , 95% );
24979
- border : 1px solid hsl (0 , 0% , 85% );
24980
- padding : 1em ;
24981
- }
24982
- .displaysettingsui .dsPanel input {
24983
- margin-right : 0.5em ;
24984
- }
24985
- .displaysettingsui .dsPanel label {
24986
- margin-right : 1em ;
24987
- }
24988
-
24989
24863
.rst-content dl .php {
24990
24864
border-radius : 0.375rem ;
24991
24865
margin-bottom : 1rem ;
0 commit comments