Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-12-13 18:27:35 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Removed top black border from HTMLSource edit window

Browse Source
This commit is contained in:
cmanske%netscape.com 2000-05-12 02:41:25 +00:00
parent 632d5d57c2
commit b0794819bc
2 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
themes/modern/editor/EditorDialog.css
View File

@ -128,7 +128,6 @@ tree.list {
min-width: 10em;
}
/* We use a borderless button to show misspelled word in dialog */
#MisspelledWord {
font-weight: bold;
}

1
themes/modern/editor/editor.css
View File

@ -34,7 +34,6 @@ iframe#content-frame {
.source-editor, .source-editor:focus {
margin: 0px 5px 5px 0px;
border: 0px;
border-top: 1px solid black;
/* Scroll bars are in content,
so we can't use right and bottom padding! */
padding: 5px 0px 0px 5px;