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
|
|
|
|
2018-08-13 11:44:42 +00:00
|
|
|
.text__new-line, .card.warnings-card .list-group-item, .card.errors-card .list-group-item {
|
2018-08-29 06:12:28 +00:00
|
|
|
white-space: pre-wrap;
|
|
|
|
font-family: monospace;
|
2018-08-07 10:48:27 +00:00
|
|
|
}
|
2018-08-08 06:27:14 +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-08-10 02:16:38 +00:00
|
|
|
.card.warnings-card, .card.errors-card{
|
|
|
|
text-transform: capitalize;
|
|
|
|
}
|
|
|
|
.card.warnings-card .card-options a, .card.errors-card .card-options a{
|
|
|
|
cursor:pointer;
|
|
|
|
}
|
|
|
|
.compilation-summary {
|
2018-08-13 11:44:42 +00:00
|
|
|
float: right;
|
|
|
|
margin-bottom: 3px;
|
2018-08-10 02:16:38 +00:00
|
|
|
visibility: hidden;
|
|
|
|
}
|
|
|
|
.compilation-summary.visible{
|
|
|
|
visibility: visible;
|
|
|
|
}
|
|
|
|
.compilation-summary .badge-link:not(:last-child){
|
2018-08-13 11:44:42 +00:00
|
|
|
margin-right: 5px;
|
2018-08-10 02:16:38 +00:00
|
|
|
}
|
|
|
|
.ace_editor {
|
2018-08-13 11:44:42 +00:00
|
|
|
margin-bottom: 24px;
|
2018-08-10 02:16:38 +00:00
|
|
|
}
|
|
|
|
.loader, .loader:before, .loader:after{
|
2018-08-13 11:44:42 +00:00
|
|
|
width: 1.2rem;
|
|
|
|
height: 1.2rem;
|
2018-08-10 02:16:38 +00:00
|
|
|
}
|
|
|
|
.loader:before, .loader:after{
|
2018-08-13 11:44:42 +00:00
|
|
|
margin: -0.6rem 0 0 -0.6rem;
|
2018-08-30 11:12:39 +00:00
|
|
|
left: 0;
|
2018-08-10 02:16:38 +00:00
|
|
|
}
|
|
|
|
.loader, .loader-text{
|
2018-08-13 11:44:42 +00:00
|
|
|
display: inline-block;
|
2018-08-30 11:12:39 +00:00
|
|
|
vertical-align: top;
|
|
|
|
padding-left: 0.6rem;
|
|
|
|
width: auto;
|
2018-08-31 20:45:17 +00:00
|
|
|
}
|