File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -789,10 +789,12 @@ div.genindex-jumpbox a {
789789 --versionadded : var ( --good-color ) ;
790790 --versionchanged : var ( --middle-color ) ;
791791 --deprecated : var ( --bad-color ) ;
792+ --soft-deprecated : rgb ( 175 , 0 , 255 ) ;
792793
793794 --versionadded-border : var ( --good-border ) ;
794795 --versionchanged-border : var ( --middle-border ) ;
795796 --deprecated-border : var ( --bad-border ) ;
797+ --soft-deprecated-border : rgb ( 175 , 0 , 255 ) ;
796798}
797799
798800div . versionadded ,
@@ -817,6 +819,10 @@ div.versionremoved {
817819 border-left-color : var ( --deprecated-border ) ;
818820}
819821
822+ div . soft-deprecated {
823+ border-left-color : var ( --soft-deprecated-border ) ;
824+ }
825+
820826div . versionadded . versionmodified {
821827 color : var ( --versionadded ) ;
822828}
@@ -831,6 +837,10 @@ div.versionremoved .versionmodified {
831837 color : var ( --deprecated ) ;
832838}
833839
840+ div . soft-deprecated . versionmodified {
841+ color : var ( --soft-deprecated ) ;
842+ }
843+
834844/* Hide header when printing */
835845@media print {
836846 div . mobile-nav {
Original file line number Diff line number Diff line change @@ -181,6 +181,8 @@ img.invert-in-dark-mode {
181181 --versionadded : var ( --good-color ) ;
182182 --versionchanged : var ( --middle-color ) ;
183183 --deprecated : var ( --bad-color ) ;
184+ --soft-deprecated : rgb ( 206 , 100 , 255 ) ;
185+ --soft-deprecated-border : rgb ( 206 , 100 , 255 ) ;
184186}
185187
186188. copybutton {
You can’t perform that action at this time.
0 commit comments