2017-08-25 14:34:53 +00:00
|
|
|
#--re-frame-trace-- {
|
2017-08-30 16:21:15 +00:00
|
|
|
|
|
|
|
all: initial;
|
|
|
|
|
|
|
|
* {
|
|
|
|
all: unset;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*! normalize.css v7.0.0 | MIT License | github.com/necolas/normalize.css */
|
|
|
|
|
|
|
|
/* Document
|
|
|
|
========================================================================== */
|
|
|
|
|
|
|
|
/**
|
|
|
|
* 1. Correct the line height in all browsers.
|
|
|
|
* 2. Prevent adjustments of font size after orientation changes in
|
|
|
|
* IE on Windows Phone and in iOS.
|
|
|
|
*/
|
|
|
|
|
|
|
|
// html {
|
|
|
|
line-height: 1.15; /* 1 */
|
|
|
|
-ms-text-size-adjust: 100%; /* 2 */
|
|
|
|
-webkit-text-size-adjust: 100%; /* 2 */
|
|
|
|
// }
|
|
|
|
|
|
|
|
/* Sections
|
|
|
|
========================================================================== */
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Add the correct display in IE 9-.
|
|
|
|
*/
|
|
|
|
|
|
|
|
div,
|
|
|
|
footer,
|
|
|
|
header,
|
|
|
|
nav {
|
|
|
|
display: block;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Correct the font size and margin on `h1` elements within `section` and
|
|
|
|
* `article` contexts in Chrome, Firefox, and Safari.
|
|
|
|
*/
|
|
|
|
|
|
|
|
h1 {
|
|
|
|
font-size: 2em;
|
|
|
|
margin: 0.67em 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* 1. Correct the inheritance and scaling of font size in all browsers.
|
|
|
|
* 2. Correct the odd `em` font sizing in all browsers.
|
|
|
|
*/
|
|
|
|
|
|
|
|
pre {
|
|
|
|
font-family: monospace, monospace; /* 1 */
|
|
|
|
font-size: 1em; /* 2 */
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Text-level semantics
|
|
|
|
========================================================================== */
|
|
|
|
|
|
|
|
/**
|
|
|
|
* 1. Remove the gray background on active links in IE 10.
|
|
|
|
* 2. Remove gaps in links underline in iOS 8+ and Safari 8+.
|
|
|
|
*/
|
|
|
|
|
|
|
|
a {
|
|
|
|
background-color: transparent; /* 1 */
|
|
|
|
-webkit-text-decoration-skip: objects; /* 2 */
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Prevent the duplicate application of `bolder` by the next rule in Safari 6.
|
|
|
|
*/
|
|
|
|
|
|
|
|
b,
|
|
|
|
strong {
|
|
|
|
font-weight: inherit;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Add the correct font weight in Chrome, Edge, and Safari.
|
|
|
|
*/
|
|
|
|
|
|
|
|
b,
|
|
|
|
strong {
|
|
|
|
font-weight: bolder;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* 1. Correct the inheritance and scaling of font size in all browsers.
|
|
|
|
* 2. Correct the odd `em` font sizing in all browsers.
|
|
|
|
*/
|
|
|
|
|
|
|
|
code {
|
|
|
|
font-family: monospace, monospace; /* 1 */
|
|
|
|
font-size: 1em; /* 2 */
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Add the correct background and color in IE 9-.
|
|
|
|
*/
|
|
|
|
|
|
|
|
mark {
|
|
|
|
background-color: #ff0;
|
|
|
|
color: #000;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Add the correct font size in all browsers.
|
|
|
|
*/
|
|
|
|
|
|
|
|
small {
|
|
|
|
font-size: 80%;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Prevent `sub` and `sup` elements from affecting the line height in
|
|
|
|
* all browsers.
|
|
|
|
*/
|
|
|
|
|
|
|
|
sub,
|
|
|
|
sup {
|
|
|
|
font-size: 75%;
|
|
|
|
line-height: 0;
|
|
|
|
position: relative;
|
|
|
|
vertical-align: baseline;
|
|
|
|
}
|
|
|
|
|
|
|
|
sub {
|
|
|
|
bottom: -0.25em;
|
|
|
|
}
|
|
|
|
|
|
|
|
sup {
|
|
|
|
top: -0.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Embedded content
|
|
|
|
========================================================================== */
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Add the correct display in IE 9-.
|
|
|
|
*/
|
|
|
|
|
|
|
|
audio,
|
|
|
|
video {
|
|
|
|
display: inline-block;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Add the correct display in iOS 4-7.
|
|
|
|
*/
|
|
|
|
|
|
|
|
audio:not([controls]) {
|
|
|
|
display: none;
|
|
|
|
height: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Remove the border on images inside links in IE 10-.
|
|
|
|
*/
|
|
|
|
|
|
|
|
img {
|
|
|
|
border-style: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Hide the overflow in IE.
|
|
|
|
*/
|
|
|
|
|
|
|
|
svg:not(:root) {
|
|
|
|
overflow: hidden;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Forms
|
|
|
|
========================================================================== */
|
|
|
|
|
|
|
|
option {
|
|
|
|
display: block;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* 1. Change the font styles in all browsers (opinionated).
|
|
|
|
* 2. Remove the margin in Firefox and Safari.
|
|
|
|
*/
|
|
|
|
|
|
|
|
button,
|
|
|
|
input,
|
|
|
|
optgroup,
|
|
|
|
select,
|
|
|
|
textarea {
|
|
|
|
font-family: sans-serif; /* 1 */
|
|
|
|
font-size: 100%; /* 1 */
|
|
|
|
line-height: 1.15; /* 1 */
|
|
|
|
margin: 0; /* 2 */
|
|
|
|
border: 1px solid black;
|
|
|
|
// background-color: transparent;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Show the overflow in IE.
|
|
|
|
* 1. Show the overflow in Edge.
|
|
|
|
*/
|
|
|
|
|
|
|
|
button,
|
|
|
|
input { /* 1 */
|
|
|
|
overflow: visible;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Remove the inheritance of text transform in Edge, Firefox, and IE.
|
|
|
|
* 1. Remove the inheritance of text transform in Firefox.
|
|
|
|
*/
|
|
|
|
|
|
|
|
button,
|
|
|
|
select { /* 1 */
|
|
|
|
text-transform: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* 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 */
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Remove the inner border and padding in Firefox.
|
|
|
|
*/
|
|
|
|
|
|
|
|
button::-moz-focus-inner,
|
|
|
|
[type="button"]::-moz-focus-inner,
|
|
|
|
[type="reset"]::-moz-focus-inner,
|
|
|
|
[type="submit"]::-moz-focus-inner {
|
|
|
|
border-style: none;
|
|
|
|
padding: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* 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;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Remove the default vertical scrollbar in IE.
|
|
|
|
*/
|
|
|
|
|
|
|
|
textarea {
|
|
|
|
overflow: auto;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* 1. Add the correct box sizing in IE 10-.
|
|
|
|
* 2. Remove the padding in IE 10-.
|
|
|
|
*/
|
|
|
|
|
|
|
|
[type="checkbox"],
|
|
|
|
[type="radio"] {
|
|
|
|
box-sizing: border-box; /* 1 */
|
|
|
|
padding: 0; /* 2 */
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* 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;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* 1. Correct the odd appearance in Chrome and Safari.
|
|
|
|
* 2. Correct the outline style in Safari.
|
|
|
|
*/
|
|
|
|
|
|
|
|
[type="search"] {
|
|
|
|
-webkit-appearance: textfield; /* 1 */
|
|
|
|
outline-offset: -2px; /* 2 */
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Remove the inner padding and cancel buttons in Chrome and Safari on macOS.
|
|
|
|
*/
|
|
|
|
|
|
|
|
[type="search"]::-webkit-search-cancel-button,
|
|
|
|
[type="search"]::-webkit-search-decoration {
|
|
|
|
-webkit-appearance: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* 1. Correct the inability to style clickable types in iOS and Safari.
|
|
|
|
* 2. Change font properties to `inherit` in Safari.
|
|
|
|
*/
|
|
|
|
|
|
|
|
::-webkit-file-upload-button {
|
|
|
|
-webkit-appearance: button; /* 1 */
|
|
|
|
font: inherit; /* 2 */
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* Hidden
|
|
|
|
========================================================================== */
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Add the correct display in IE 10-.
|
|
|
|
*/
|
|
|
|
|
|
|
|
[hidden] {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
h1,
|
|
|
|
h2,
|
|
|
|
h3,
|
|
|
|
h4,
|
|
|
|
p,
|
|
|
|
blockquote,
|
|
|
|
figure,
|
|
|
|
ol,
|
|
|
|
ul {
|
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
|
|
|
}
|
|
|
|
main,
|
|
|
|
li {
|
|
|
|
display: block;
|
|
|
|
}
|
|
|
|
h1,
|
|
|
|
h2,
|
|
|
|
h3,
|
|
|
|
h4 {
|
|
|
|
font-size: inherit;
|
|
|
|
}
|
|
|
|
strong {
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
a,
|
|
|
|
button {
|
|
|
|
color: inherit;
|
|
|
|
transition: .3s;
|
|
|
|
}
|
|
|
|
a {
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
button {
|
|
|
|
overflow: visible;
|
|
|
|
border: 0;
|
|
|
|
font: inherit;
|
|
|
|
-webkit-font-smoothing: inherit;
|
|
|
|
letter-spacing: inherit;
|
|
|
|
background: none;
|
|
|
|
cursor: pointer;
|
|
|
|
}
|
|
|
|
::-moz-focus-inner {
|
|
|
|
padding: 0;
|
|
|
|
border: 0;
|
|
|
|
}
|
|
|
|
:focus {
|
|
|
|
outline: 0;
|
|
|
|
}
|
|
|
|
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;
|
|
|
|
}
|
|
|
|
tr {
|
|
|
|
display: table-row;
|
|
|
|
}
|
|
|
|
thead {
|
|
|
|
display: table-header-group;
|
|
|
|
}
|
|
|
|
tbody {
|
|
|
|
display: table-row-group;
|
|
|
|
}
|
|
|
|
table {
|
|
|
|
display: table;
|
|
|
|
width: 100%;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* re-frame-trace styles
|
|
|
|
========================================================================== */
|
|
|
|
|
|
|
|
|
2017-08-25 14:34:53 +00:00
|
|
|
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;
|
|
|
|
}
|
|
|
|
.nav {
|
|
|
|
background: #efeef1;
|
|
|
|
color: #222;
|
|
|
|
}
|
|
|
|
.panel-content-top {
|
|
|
|
flex: 1;
|
|
|
|
}
|
|
|
|
.panel-content-scrollable {
|
|
|
|
margin: 10px 0 0 10px;
|
|
|
|
flex: 1 0 auto;
|
|
|
|
height: 100%;
|
|
|
|
overflow: auto;
|
|
|
|
}
|
|
|
|
.filter-control {
|
|
|
|
margin: 10px 0 0 10px;
|
|
|
|
}
|
2017-08-31 13:19:18 +00:00
|
|
|
.trace-details {
|
|
|
|
cursor: pointer;
|
|
|
|
}
|
2017-08-25 14:34:53 +00:00
|
|
|
}
|
2017-08-31 13:19:18 +00:00
|
|
|
|