Explore: return to grid layout for logs table

- better column control than flexbox
- increased gutter and row spacing
This commit is contained in:
David Kaltschmidt
2018-12-04 10:44:05 +01:00
parent 70eedc1fde
commit 4ce79349a3
2 changed files with 22 additions and 24 deletions

View File

@@ -294,31 +294,13 @@
}
.logs-entries {
display: grid;
grid-column-gap: 1rem;
grid-row-gap: 0.1rem;
font-family: $font-family-monospace;
font-size: 12px;
}
.logs-row {
display: flex;
flex-direction: row;
> div + div {
margin-left: 0.5rem;
}
}
.logs-row-level {
width: 3px;
}
.logs-row-labels {
flex: 0 0 25%;
}
.logs-row-message {
flex: 1;
}
.logs-row-match-highlight {
// Undoing mark styling
background: inherit;