2023-01-04 02:00:48 +00:00
|
|
|
/*
|
|
|
|
* Citizen
|
|
|
|
*
|
|
|
|
* SkinStyles for Extension:ReplaceText
|
|
|
|
* Module: ext.ReplaceTextStyles
|
2023-01-04 03:47:51 +00:00
|
|
|
* Version: REL1_39 af4840a
|
2023-01-04 02:00:48 +00:00
|
|
|
*
|
|
|
|
* Date: 2023-01-03
|
|
|
|
*/
|
|
|
|
|
|
|
|
.ext-replacetext-searchmatch {
|
2023-01-04 03:47:51 +00:00
|
|
|
font-weight: var( --font-weight-semibold );
|
2024-06-30 05:04:30 +00:00
|
|
|
color: var( --color-emphasized );
|
2023-01-04 02:00:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.ext-replacetext-searchoptions {
|
|
|
|
background-color: var( --color-surface-2 );
|
2023-07-28 01:19:27 +00:00
|
|
|
border: 1px solid var( --border-color-base );
|
2023-01-04 02:00:48 +00:00
|
|
|
|
|
|
|
.ext-replacetext-divider {
|
|
|
|
border-bottom: 1px solid var( --border-color-base );
|
|
|
|
}
|
|
|
|
}
|