CodeMirror/uMatrix
1
0
Fork 0
mirror of https://github.com/gorhill/uMatrix.git synced 2024-06-26 10:01:08 +12:00
Code Issues Releases Wiki Activity

add bottom border to logger toolbar (prevents toolbar blending in to log entries while scrolling)

Browse source
This commit is contained in:
xofe 2017-11-24 08:09:56 +00:00
parent 53c786e73c
commit e6a0379e54
2 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/css/logger-ui.css
View file

@ -12,6 +12,7 @@ body {
#toolbar { #toolbar {
background-color: white; background-color: white;
border: 0; border: 0;
border-bottom: 1px solid #ccc;
box-sizing: border-box; box-sizing: border-box;
-moz-box-sizing: border-box; -moz-box-sizing: border-box;
left: 0; left: 0;
@ -125,7 +126,6 @@ body.f table tr.f {
body #content td { body #content td {
border: 1px solid #ccc; border: 1px solid #ccc;
border-top: none;
min-width: 0.5em; min-width: 0.5em;
padding: 3px; padding: 3px;
vertical-align: top; vertical-align: top;
@ -133,9 +133,6 @@ body #content td {
word-break: break-all; word-break: break-all;
word-wrap: break-word; word-wrap: break-word;
} }
#content table tr td {
border-top: 1px solid #ccc;
}
#content table tr td:first-of-type { #content table tr td:first-of-type {
border-left: none; border-left: none;
} }

2
src/js/logger-ui.js
View file

@ -68,7 +68,7 @@ var dateOptions = {
document.getElementById('content').style.setProperty( document.getElementById('content').style.setProperty(
'margin-top', 'margin-top',
document.getElementById('toolbar').offsetHeight + 'px' document.getElementById('toolbar').clientHeight + 'px'
); );
/******************************************************************************/ /******************************************************************************/