2018-10-12 10:05:03 +00:00
|
|
|
.app-body {
|
|
|
|
overflow-x: unset;
|
|
|
|
}
|
|
|
|
|
2018-09-05 20:21:41 +00:00
|
|
|
.card.card-fullscreen {
|
2018-08-13 11:44:42 +00:00
|
|
|
z-index: 6;
|
2018-08-08 06:27:14 +00:00
|
|
|
}
|
2018-09-05 20:21:41 +00:00
|
|
|
|
|
|
|
.card.warnings-card, .card.errors-card {
|
2018-08-10 02:16:38 +00:00
|
|
|
text-transform: capitalize;
|
|
|
|
}
|
2018-09-05 20:21:41 +00:00
|
|
|
|
|
|
|
.card.warnings-card .card-options a, .card.errors-card .card-options a {
|
|
|
|
cursor: pointer;
|
2018-10-15 10:08:57 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.text-wrap {
|
2018-10-23 11:18:02 +00:00
|
|
|
word-wrap: break-word;
|
2018-10-18 19:30:01 +00:00
|
|
|
}
|
|
|
|
|
2018-10-18 20:58:22 +00:00
|
|
|
.relative {
|
|
|
|
position: relative;
|
|
|
|
}
|
2018-10-18 19:30:01 +00:00
|
|
|
.hidden {
|
|
|
|
display: none;
|
|
|
|
}
|
2018-10-19 15:19:15 +00:00
|
|
|
|
|
|
|
.react-json-view {
|
|
|
|
border-radius: .25rem;
|
|
|
|
}
|
2018-10-23 11:18:02 +00:00
|
|
|
|
|
|
|
.collapsable:hover {
|
|
|
|
cursor: pointer;
|
|
|
|
}
|
|
|
|
|
|
|
|
.contractFunction {
|
|
|
|
margin-bottom: 0px;
|
|
|
|
}
|
2018-10-12 22:22:17 +00:00
|
|
|
|
|
|
|
.debugButton {
|
|
|
|
width: 28px;
|
|
|
|
height: 24px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.jumpBack {
|
|
|
|
background-position: 0px 48px;
|
|
|
|
background-image: url(images/icons.png);
|
|
|
|
}
|
|
|
|
|
|
|
|
.jumpForward {
|
|
|
|
background-position: -28px 48px;
|
|
|
|
background-image: url(images/icons.png);
|
|
|
|
}
|
|
|
|
|
|
|
|
.stepOverBack {
|
|
|
|
transform: scaleX(-1);
|
|
|
|
background-position: -56px 24px;
|
|
|
|
background-image: url(images/icons.png);
|
|
|
|
}
|
|
|
|
|
|
|
|
.stepOverForward {
|
|
|
|
background-position: -56px 24px;
|
|
|
|
background-image: url(images/icons.png);
|
|
|
|
}
|
|
|
|
|
|
|
|
.stepIntoForward {
|
|
|
|
background-position: 0px 24px;
|
|
|
|
background-image: url(images/icons.png);
|
|
|
|
}
|
|
|
|
|
|
|
|
.stepIntoBack {
|
|
|
|
background-position: -28px 24px;
|
|
|
|
background-image: url(images/icons.png);
|
|
|
|
}
|
|
|
|
|
2018-10-24 12:45:12 +00:00
|
|
|
.no-underline {
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
|