rubyx-debugger/assets/css/app.css.scss

100 lines
1.4 KiB
SCSS
Raw Normal View History

2015-08-20 02:14:33 +02:00
// Place your apps css here
@import "susy";
$susy: (
columns: 24 ,
gutter-position: split ,
);
.debugger_view { @include container(90%); }
2015-08-20 02:14:33 +02:00
.classes {
@include span(3);
}
.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 {
@include span(7);
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;
}
.status_view {
2015-11-01 17:11:00 +01:00
@include span(4 at 20);
2015-08-24 01:44:04 +02:00
line-height : 1.25em;
2015-08-20 02:14:33 +02:00
}
.registers_view {
2015-08-20 02:14:33 +02:00
@include span(20 at 3);
}
.register_view {
2015-08-20 02:14:33 +02:00
@include gallery(4);
margin-top: 10px;
}
.field {
@include span(5)
}
.value {
@include span(18)
}
.value_head {
2015-08-20 02:14:33 +02:00
background-color: #C5FFD9;
}
2015-11-01 17:11:00 +01:00
.statement {
margin-left: 10px;
}
2015-08-24 01:44:04 +02:00
.act{
background-color: #00B3FF;
-moz-border-radius: 7px;
-webkit-border-radius: 7px;
font-size: 100%;
}
2015-11-01 17:11:00 +01:00
.crawl{
background-color: #009900;
-moz-border-radius: 7px;
-webkit-border-radius: 7px;
}
.run{
2015-11-01 17:11:00 +01:00
background-color: #00CC33;
-moz-border-radius: 7px;
-webkit-border-radius: 7px;
}
.wizz{
background-color: #00FF66;
-moz-border-radius: 7px;
-webkit-border-radius: 7px;
}
2015-08-24 01:44:04 +02:00
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
}
2015-11-01 17:11:00 +01:00
.fade_in {
transition: background-color 100ms linear;
padding-right: 6px;
padding-left: 6px;
background-color: #00E3FF ;
-moz-border-radius: 7px;
-webkit-border-radius: 7px;
}