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 {
|
2024-10-23 21:34:41 +00:00
|
|
|
font-weight: var( --font-weight-semi-bold );
|
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 );
|
2024-07-15 06:07:25 +00:00
|
|
|
border: var( --border-width-base ) solid var( --border-color-base );
|
2023-01-04 02:00:48 +00:00
|
|
|
|
|
|
|
.ext-replacetext-divider {
|
2024-07-15 06:07:25 +00:00
|
|
|
border-bottom: var( --border-width-base ) solid var( --border-color-base );
|
2023-01-04 02:00:48 +00:00
|
|
|
}
|
|
|
|
}
|