2015-08-20 02:14:33 +02:00
|
|
|
// Place your apps css here
|
|
|
|
@import "susy";
|
|
|
|
|
|
|
|
|
|
|
|
$susy: (
|
|
|
|
columns: 24 ,
|
|
|
|
gutter-position: split ,
|
|
|
|
);
|
|
|
|
|
2015-08-20 20:02:25 +02:00
|
|
|
.debugger_view { @include container(90%); }
|
2015-08-20 02:14:33 +02:00
|
|
|
|
|
|
|
.classes {
|
|
|
|
@include span(3);
|
|
|
|
}
|
|
|
|
|
2015-08-20 20:02:25 +02:00
|
|
|
.one_class {
|
2015-08-20 02:14:33 +02:00
|
|
|
margin: 10px;
|
|
|
|
}
|
2015-10-21 17:37:04 +02:00
|
|
|
|
2015-10-29 15:49:14 +01:00
|
|
|
.source_view {
|
2015-08-20 02:14:33 +02:00
|
|
|
@include span(4);
|
2015-08-21 00:37:41 +02:00
|
|
|
margin-left: span(1);
|
2015-08-20 02:14:33 +02:00
|
|
|
}
|
|
|
|
|
2015-10-29 15:49:14 +01:00
|
|
|
.instruction_view { @include span(6); }
|
2015-08-20 02:14:33 +02:00
|
|
|
|
2015-10-29 15:49:14 +01:00
|
|
|
.labels_view {
|
2015-10-21 17:37:04 +02:00
|
|
|
@include span(3);
|
|
|
|
margin-right: span(1);
|
2015-08-20 02:14:33 +02:00
|
|
|
height: 200px;
|
|
|
|
}
|
|
|
|
|
2015-08-20 20:02:25 +02:00
|
|
|
.status_view {
|
2015-08-20 02:14:33 +02:00
|
|
|
@include span(2 at 22);
|
2015-08-24 01:44:04 +02:00
|
|
|
line-height : 1.25em;
|
2015-08-20 02:14:33 +02:00
|
|
|
}
|
|
|
|
|
2015-08-20 20:02:25 +02:00
|
|
|
.registers_view {
|
2015-08-20 02:14:33 +02:00
|
|
|
@include span(20 at 3);
|
|
|
|
}
|
|
|
|
|
2015-08-20 20:02:25 +02:00
|
|
|
.register_view {
|
2015-08-20 02:14:33 +02:00
|
|
|
@include gallery(4);
|
|
|
|
margin-top: 10px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.field {
|
|
|
|
@include span(5)
|
|
|
|
}
|
|
|
|
|
|
|
|
.value {
|
|
|
|
@include span(18)
|
|
|
|
}
|
|
|
|
|
2015-08-20 20:02:25 +02:00
|
|
|
.value_head {
|
2015-08-20 02:14:33 +02:00
|
|
|
background-color: #C5FFD9;
|
|
|
|
}
|
|
|
|
|
2015-08-24 01:44:04 +02:00
|
|
|
.act{
|
|
|
|
background-color: #00B3FF;
|
|
|
|
-moz-border-radius: 7px;
|
|
|
|
-webkit-border-radius: 7px;
|
|
|
|
font-size: 100%;
|
|
|
|
}
|
|
|
|
|
2015-08-20 02:14:33 +02:00
|
|
|
.bright {
|
2015-08-24 01:44:04 +02:00
|
|
|
padding-right: 6px;
|
|
|
|
padding-left: 6px;
|
|
|
|
background-color: #00E3FF ;
|
|
|
|
-moz-border-radius: 7px;
|
|
|
|
-webkit-border-radius: 7px;
|
2015-08-20 02:14:33 +02:00
|
|
|
}
|