external/uBlock
1
0
Fork 0
mirror of https://github.com/gorhill/uBlock.git synced 2024-11-10 09:07:54 +01:00
Code Issues Projects Releases Packages Wiki Activity

this fixes #656

Browse source
This commit is contained in:
gorhill 2015-01-31 18:33:15 -05:00
parent 7c3531384e
commit fb59756bc6
1 changed files with 9 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
src/js/element-picker.js
View file

@ -829,15 +829,17 @@ var startPicker = function(details) {
'width: 100%;',
'}',
'#µBlock > div > div > textarea {',
'border: 1px solid #ccc;',
'padding: 2px;',
'box-sizing: border-box;',
'width: 100% !important;',
'height: 100% !important;',
'overflow: hidden !important;',
'resize: none;',
'background-color: white;',
'border: 1px solid #ccc;',
'box-sizing: border-box;',
'font: 11px monospace;',
'height: 100% !important;',
'max-height: 100% !important;',
'min-height: 100% !important;',
'overflow: hidden !important;',
'padding: 2px;',
'resize: none;',
'width: 100% !important;',
'}',
'#µBlock > div > div > div {',
'bottom: 2px;',