327 lines
5.9 KiB
Plaintext
327 lines
5.9 KiB
Plaintext
#--re-frame-trace-- {
|
|
|
|
all: initial;
|
|
|
|
* {
|
|
all: unset;
|
|
}
|
|
|
|
/*! abridged from normalize.css v7.0.0 | MIT License | github.com/necolas/normalize.css */
|
|
|
|
line-height: 1.15;
|
|
|
|
div,
|
|
nav {
|
|
display: block;
|
|
}
|
|
|
|
pre {
|
|
font-family: monospace, monospace;
|
|
font-size: 1em;
|
|
}
|
|
|
|
/* Text-level semantics
|
|
========================================================================== */
|
|
|
|
a, a:visited {
|
|
color: #333;
|
|
border-bottom: 1px #333 dotted;
|
|
}
|
|
a:hover, a:focus {
|
|
border-bottom: 1px #666666 solid;
|
|
}
|
|
|
|
code {
|
|
font-family: monospace, monospace;
|
|
font-size: 1em;
|
|
}
|
|
|
|
small {
|
|
font-size: 80%;
|
|
}
|
|
|
|
// Prevent `sub` and `sup` elements from affecting the line height
|
|
sub,
|
|
sup {
|
|
font-size: 75%;
|
|
line-height: 0;
|
|
position: relative;
|
|
vertical-align: baseline;
|
|
}
|
|
|
|
sub {
|
|
bottom: -0.25em;
|
|
}
|
|
|
|
sup {
|
|
top: -0.5em;
|
|
}
|
|
|
|
/* Embedded content
|
|
========================================================================== */
|
|
|
|
img {
|
|
border-style: none;
|
|
}
|
|
|
|
|
|
/* Forms
|
|
========================================================================== */
|
|
|
|
option {
|
|
display: block;
|
|
}
|
|
|
|
button,
|
|
input,
|
|
optgroup,
|
|
select,
|
|
textarea {
|
|
font-family: "courier new", monospace;
|
|
font-size: 100%;
|
|
// line-height: 1.15;
|
|
padding: 3px 3px 1px 3px;
|
|
border: 1px solid black;
|
|
}
|
|
|
|
button, // Show the overflow in IE.
|
|
input { // Show the overflow in Edge.
|
|
overflow: visible;
|
|
}
|
|
|
|
/**
|
|
* 1. Prevent a WebKit bug where (2) destroys native `audio` and `video`
|
|
* controls in Android 4.
|
|
* 2. Correct the inability to style clickable types in iOS and Safari.
|
|
*/
|
|
|
|
button,
|
|
html [type="button"], /* 1 */
|
|
[type="reset"],
|
|
[type="submit"] {
|
|
-webkit-appearance: button; /* 2 */
|
|
}
|
|
|
|
// Restore the focus styles unset by the previous rule.
|
|
button:-moz-focusring,
|
|
[type="button"]:-moz-focusring,
|
|
[type="reset"]:-moz-focusring,
|
|
[type="submit"]:-moz-focusring {
|
|
outline: 1px dotted ButtonText;
|
|
}
|
|
|
|
textarea {
|
|
overflow: auto; // Remove the default vertical scrollbar in IE.
|
|
}
|
|
|
|
[type="checkbox"],
|
|
[type="radio"] {
|
|
box-sizing: border-box; // IE 10-
|
|
}
|
|
|
|
// Correct the cursor style of increment and decrement buttons in Chrome.
|
|
[type="number"]::-webkit-inner-spin-button,
|
|
[type="number"]::-webkit-outer-spin-button {
|
|
height: auto;
|
|
}
|
|
|
|
[type="search"] {
|
|
-webkit-appearance: textfield; // Correct the odd appearance in Chrome and Safari.
|
|
outline-offset: -2px; // Correct the outline style in Safari.
|
|
}
|
|
|
|
::-webkit-file-upload-button {
|
|
-webkit-appearance: button; // Correct the inability to style clickable types in iOS and Safari.
|
|
}
|
|
|
|
|
|
/* Hidden
|
|
========================================================================== */
|
|
|
|
/**
|
|
* Add the correct display in IE 10-.
|
|
*/
|
|
|
|
[hidden] {
|
|
display: none;
|
|
}
|
|
|
|
li {
|
|
display: block;
|
|
}
|
|
button {
|
|
overflow: visible;
|
|
border: 0;
|
|
-webkit-font-smoothing: inherit;
|
|
letter-spacing: inherit;
|
|
background: none;
|
|
cursor: pointer;
|
|
}
|
|
img {
|
|
max-width: 100%;
|
|
height: auto;
|
|
border: 0;
|
|
}
|
|
|
|
// tables
|
|
|
|
table,
|
|
thead,
|
|
tbody,
|
|
tfoot,
|
|
tr,
|
|
th,
|
|
td {
|
|
display: block;
|
|
width: auto;
|
|
height: auto;
|
|
margin: 0;
|
|
padding: 0;
|
|
border: none;
|
|
border-collapse: collapse;
|
|
border-spacing: 0;
|
|
border-color: inherit;
|
|
vertical-align: inherit;
|
|
text-align: left;
|
|
font-weight: inherit;
|
|
-webkit-border-horizontal-spacing: 0;
|
|
-webkit-border-vertical-spacing: 0;
|
|
}
|
|
th, td {
|
|
display: table-cell;
|
|
padding: 0 5px;
|
|
}
|
|
tr {
|
|
display: table-row;
|
|
}
|
|
thead {
|
|
display: table-header-group;
|
|
}
|
|
tbody {
|
|
display: table-row-group;
|
|
}
|
|
table {
|
|
display: table;
|
|
width: 100%;
|
|
}
|
|
|
|
|
|
/* re-frame-trace styles
|
|
========================================================================== */
|
|
|
|
|
|
background: white;
|
|
font-family: 'courier new', monospace;
|
|
|
|
tbody {
|
|
color: #aaa;
|
|
}
|
|
tr:hover {
|
|
transition: all 0.1s ease-out;
|
|
background: aliceblue;
|
|
filter: brightness(90%);
|
|
}
|
|
tr:nth-child(even) {
|
|
background: aliceblue;
|
|
}
|
|
.button {
|
|
padding: 5px 5px 3px;
|
|
margin: 5px;
|
|
border-radius: 2px;
|
|
cursor: pointer;
|
|
}
|
|
.text-button {
|
|
border-bottom: 1px dotted #888;
|
|
font-weight: normal;
|
|
}
|
|
.button:focus, .text-button:focus {
|
|
border-radius: 2px 2px 0 0;
|
|
-webkit-box-shadow: inset 0px -5px 0px 0px rgba(0,0,0,0.3);
|
|
-moz-box-shadow: inset 0px -5px 0px 0px rgba(0,0,0,0.3);
|
|
box-shadow: inset 0px -5px 0px 0px rgba(0,0,0,0.3);
|
|
}
|
|
.icon-button {
|
|
font-size: 10px;
|
|
}
|
|
button.tab {
|
|
|
|
}
|
|
.tab {
|
|
background: transparent;
|
|
border-radius: 0;
|
|
text-transform: uppercase;
|
|
font-family: monospace;
|
|
letter-spacing: 2px;
|
|
margin-bottom: 0;
|
|
padding-bottom: 4px;
|
|
vertical-align: bottom;
|
|
}
|
|
.tab.active {
|
|
background: transparent;
|
|
border-bottom: 3px solid lightblue;
|
|
border-radius: 0;
|
|
padding-bottom: 1px;
|
|
}
|
|
ul.filter-items {
|
|
list-style-type: none;
|
|
padding: 0;
|
|
margin: 0 -5px;
|
|
margin-top: 10px;
|
|
}
|
|
.filter-items li {
|
|
color: #333;
|
|
background: #efefef;
|
|
display: inline-block;
|
|
font-size: 0.9em;
|
|
margin: 5px;
|
|
}
|
|
.filter-items {
|
|
li {
|
|
.filter-item-string {
|
|
color: #616cdb;
|
|
}
|
|
}
|
|
|
|
}
|
|
.icon {
|
|
display: inline-block;
|
|
width: 1em;
|
|
height: 1em;
|
|
stroke-width: 0;
|
|
stroke: currentColor;
|
|
fill: currentColor;
|
|
}
|
|
.icon-remove {
|
|
margin-left: 10px;
|
|
}
|
|
select {
|
|
background: white;
|
|
font-family: 'courier new', monospace;
|
|
font-size: 1em;
|
|
padding: 2px 0 0 0;
|
|
-moz-appearance: menulist;
|
|
-webkit-appearance: menulist;
|
|
appearance: menulist;
|
|
}
|
|
.nav {
|
|
background: #efeef1;
|
|
color: #222;
|
|
}
|
|
.panel-content-top {
|
|
flex: 1;
|
|
}
|
|
.panel-content-scrollable {
|
|
margin: 0 10px;
|
|
flex: 1 0 auto;
|
|
height: 100%;
|
|
overflow: auto;
|
|
}
|
|
.filter-control {
|
|
margin: 10px 0 0 10px;
|
|
}
|
|
.trace-details {
|
|
cursor: pointer;
|
|
}
|
|
}
|
|
|