Bug 1425839 - Added right border to.requests-list-headers r?rickychien draft
authortera_1225@hotmail.com <tera_1225@hotmail.com>
Tue, 19 Dec 2017 15:36:24 +0100
changeset 713082 a18c3c39bd69758ef95ca99ee01c13fa0c340513
parent 713074 f1329009bf0da7b40229ea75ffe18f201b71359e
child 744232 27521f705d8f1454503956b6a068e28b6c5cfce8
push id93533
push usertera_1225@hotmail.com
push dateTue, 19 Dec 2017 14:37:31 +0000
reviewersrickychien
bugs1425839
milestone59.0a1
Bug 1425839 - Added right border to.requests-list-headers r?rickychien MozReview-Commit-ID: CqzLc8ZkgGQ
devtools/client/netmonitor/src/assets/styles/RequestList.css
--- a/devtools/client/netmonitor/src/assets/styles/RequestList.css
+++ b/devtools/client/netmonitor/src/assets/styles/RequestList.css
@@ -105,16 +105,18 @@
   padding: 0;
 }
 
 .requests-list-headers {
   display: table-header-group;
   height: 24px;
   padding: 0;
   width: 100%;
+  border-right-width: 1px;
+  border-right-color: var(--theme-splitter-color);
 }
 
 .requests-list-headers .requests-list-column:first-child .requests-list-header-button {
   border-width: 0;
 }
 
 .requests-list-header-button {
   background-color: transparent;