2018-08-03 19:08:13 +00:00
|
|
|
.logs {
|
2018-08-02 16:45:59 +00:00
|
|
|
margin: 10px 0;
|
|
|
|
|
background-color: #333333;
|
|
|
|
|
font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace;
|
|
|
|
|
font-size: 14px;
|
|
|
|
|
color: white;
|
|
|
|
|
padding: 10px;
|
|
|
|
|
border-radius: 8px;
|
|
|
|
|
}
|
|
|
|
|
|
2018-08-03 19:08:13 +00:00
|
|
|
.logs .error {
|
2018-08-02 16:45:59 +00:00
|
|
|
color: #dc3546;
|
|
|
|
|
}
|
2018-08-03 19:08:13 +00:00
|
|
|
.logs .warn {
|
2018-08-02 16:45:59 +00:00
|
|
|
color: #fec107;
|
|
|
|
|
}
|
2018-08-03 19:08:13 +00:00
|
|
|
.logs .debug {
|
2018-08-02 16:45:59 +00:00
|
|
|
color: #b7c1cc;
|
|
|
|
|
}
|
2018-08-03 19:08:13 +00:00
|
|
|
.logs .trace {
|
2018-08-02 16:45:59 +00:00
|
|
|
color: #8f98a2;
|
|
|
|
|
}
|
2018-08-07 10:48:27 +00:00
|
|
|
|
|
|
|
|
.text__new-line {
|
|
|
|
|
white-space: pre-line;
|
|
|
|
|
}
|
2018-08-08 06:27:14 +00:00
|
|
|
.card.card-fullscreen{
|
2018-08-10 02:16:38 +00:00
|
|
|
z-index:6;
|
2018-08-08 06:27:14 +00:00
|
|
|
}
|
2018-08-10 02:16:38 +00:00
|
|
|
.card.warnings-card, .card.errors-card{
|
|
|
|
|
text-transform: capitalize;
|
|
|
|
|
}
|
|
|
|
|
.card.warnings-card .list-group-item, .card.errors-card .list-group-item{
|
|
|
|
|
white-space: pre-line;
|
|
|
|
|
}
|
|
|
|
|
.card.warnings-card .card-options a, .card.errors-card .card-options a{
|
|
|
|
|
cursor:pointer;
|
|
|
|
|
}
|
|
|
|
|
.compilation-summary {
|
|
|
|
|
float:right;
|
|
|
|
|
margin-bottom:3px;
|
|
|
|
|
line-height:30px;
|
|
|
|
|
visibility: hidden;
|
|
|
|
|
}
|
|
|
|
|
.compilation-summary.visible{
|
|
|
|
|
visibility: visible;
|
|
|
|
|
}
|
|
|
|
|
.compilation-summary .badge-link:not(:last-child){
|
|
|
|
|
margin-right:5px;
|
|
|
|
|
}
|
|
|
|
|
.ace_editor {
|
|
|
|
|
margin-bottom:24px;
|
|
|
|
|
}
|
|
|
|
|
.loader, .loader:before, .loader:after{
|
|
|
|
|
width:1.2rem;
|
|
|
|
|
height:1.2rem;
|
|
|
|
|
}
|
|
|
|
|
.loader:before, .loader:after{
|
|
|
|
|
margin:-0.6rem 0 0 -0.6rem;
|
|
|
|
|
}
|
|
|
|
|
.loader, .loader-text{
|
|
|
|
|
display:inline-block;
|
|
|
|
|
vertical-align: middle;
|
|
|
|
|
}
|
|
|
|
|
.loader {
|
|
|
|
|
margin-right:5px;
|
|
|
|
|
}
|
