1.ext-replacetext-invert { 2 margin-top: 20px; 3} 4 5.ext-replacetext-searchmatch { 6 font-weight: bold; 7} 8 9.ext-replacetext-searchoptions { 10 // Support: Firefox, needs `clear: both` on `fieldset` when zoom level > 100%, see T176499 11 clear: both; 12 padding: 0.5em 0.75em 0.75em 0.75em; 13 background-color: #f8f9fa; 14 margin: -1px 0 0; 15 border: 1px solid #c8ccd1; 16 border-radius: 0 0 2px 2px; 17 18 h4 { 19 padding: 0; 20 margin: 0; 21 float: left; 22 } 23 24 table { 25 float: left; 26 margin-right: 3em; 27 border-collapse: collapse; 28 29 td { 30 padding: 0 1em 0 0; 31 white-space: nowrap; 32 } 33 } 34 35 .ext-replacetext-divider { 36 clear: both; 37 border-bottom: 1px solid #eaecf0; 38 padding-top: 0.5em; 39 margin-bottom: 0.5em; 40 } 41} 42 43.ext-replacetext-search-togglebox { 44 float: right; 45 46 label { 47 margin-right: 0.25em; 48 } 49 50 input { 51 margin-left: 0.25em; 52 } 53} 54 55.client-nojs { 56 .ext-replacetext-search-togglebox, 57 .ext-replacetext-invert { 58 display: none; 59 } 60} 61