2016-05-19 08:17:29 +00:00
|
|
|
.visible-transition {
|
2019-01-04 21:09:10 +00:00
|
|
|
transition-delay: 0s;
|
|
|
|
transition-duration: 1s;
|
|
|
|
transition-property: all;
|
|
|
|
transition-timing-function: ease;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.collapse-pane {
|
2019-01-04 21:09:10 +00:00
|
|
|
background: #A0A0A0;
|
|
|
|
bottom: 0;
|
|
|
|
position: absolute;
|
|
|
|
margin-bottom: 0.5em;
|
|
|
|
margin-right: 0.5em;
|
|
|
|
margin-left: 0.5em;
|
|
|
|
border-radius: 5px;
|
|
|
|
padding: 0.5em;
|
|
|
|
z-index: 20;
|
|
|
|
opacity: 0.7;
|
|
|
|
cursor: pointer;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.search-input {
|
2019-01-04 21:09:10 +00:00
|
|
|
vertical-align: middle;
|
|
|
|
width: 145px;
|
|
|
|
opacity: 1;
|
2019-01-14 21:54:51 +00:00
|
|
|
box-sizing: border-box;
|
|
|
|
height: 1.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
#phase-select {
|
|
|
|
box-sizing: border-box;
|
|
|
|
height: 1.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
#search-only-visible {
|
|
|
|
vertical-align: middle;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.button-input {
|
2019-01-04 21:09:10 +00:00
|
|
|
vertical-align: middle;
|
|
|
|
width: 24px;
|
|
|
|
opacity: 0.4;
|
|
|
|
cursor: pointer;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.button-input-toggled {
|
2019-01-04 21:09:10 +00:00
|
|
|
border-radius: 5px;
|
|
|
|
background-color: #505050;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.button-input:focus {
|
2019-01-04 21:09:10 +00:00
|
|
|
outline: none;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-01-12 08:54:19 +00:00
|
|
|
.invisible {
|
2019-01-04 21:09:10 +00:00
|
|
|
display: none;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.selected {
|
2019-01-04 21:09:10 +00:00
|
|
|
background-color: #FFFF33;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-05-16 12:38:24 +00:00
|
|
|
.selected.block,
|
|
|
|
.selected.block-id,
|
|
|
|
.selected.schedule-block {
|
2019-01-04 21:09:10 +00:00
|
|
|
background-color: #AAFFAA;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
ol.linenums {
|
|
|
|
-webkit-padding-start: 8px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.line-number {
|
2019-01-04 21:09:10 +00:00
|
|
|
display: inline-block;
|
|
|
|
min-width: 3ex;
|
|
|
|
text-align: right;
|
|
|
|
color: #444444;
|
|
|
|
margin-right: 0.5ex;
|
|
|
|
padding-right: 0.5ex;
|
|
|
|
background: #EEEEEE;
|
|
|
|
/* font-size: 80%; */
|
|
|
|
user-select: none;
|
|
|
|
height: 120%;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.line-number:hover {
|
2019-01-04 21:09:10 +00:00
|
|
|
background-color: #CCCCCC;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.prettyprint ol.linenums>li.selected {
|
|
|
|
background-color: #FFFF33 !important;
|
2018-06-11 11:56:45 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
li.selected .line-number {
|
2019-01-04 21:09:10 +00:00
|
|
|
background-color: #FFFF33;
|
2018-06-11 11:56:45 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.prettyprint ol.linenums>li {
|
|
|
|
list-style-type: decimal;
|
|
|
|
display: block;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.source-container {
|
2019-01-04 21:09:10 +00:00
|
|
|
border-bottom: 2px solid #AAAAAA;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.code-header {
|
2019-01-04 21:09:10 +00:00
|
|
|
background-color: #CCCCCC;
|
|
|
|
padding-left: 1em;
|
|
|
|
padding-right: 1em;
|
|
|
|
padding-top: 1ex;
|
|
|
|
padding-bottom: 1ex;
|
|
|
|
font-family: monospace;
|
|
|
|
user-select: none;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.main-source .code-header {
|
2019-01-04 21:09:10 +00:00
|
|
|
border-top: 2px solid #AAAAAA;
|
|
|
|
font-weight: bold;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.code-header .code-file-function {
|
2019-01-04 21:09:10 +00:00
|
|
|
font-family: monospace;
|
|
|
|
float: left;
|
|
|
|
user-select: text;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-05-16 12:38:24 +00:00
|
|
|
.code-header .code-mode {
|
2019-01-04 21:09:10 +00:00
|
|
|
float: right;
|
|
|
|
font-family: sans-serif;
|
|
|
|
font-size: small;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
2018-01-12 08:54:19 +00:00
|
|
|
|
2019-01-12 15:55:18 +00:00
|
|
|
.info-container {
|
|
|
|
font-family: sans-serif;
|
|
|
|
font-size: small;
|
|
|
|
}
|
|
|
|
|
|
|
|
.info-topic {
|
|
|
|
border: 1px solid lightgray;
|
|
|
|
margin: 2px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.info-topic-header {
|
|
|
|
background-color: lightgray;
|
|
|
|
padding: 1px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.info-topic-content {
|
|
|
|
padding: 2px;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
html,
|
|
|
|
body {
|
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
|
|
|
/*height: 99vh;
|
2018-05-16 12:38:24 +00:00
|
|
|
width: 99vw;*/
|
2019-01-04 21:09:10 +00:00
|
|
|
overflow: hidden;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-01-12 08:54:19 +00:00
|
|
|
p {
|
2019-01-04 21:09:10 +00:00
|
|
|
text-align: center;
|
|
|
|
overflow: overlay;
|
|
|
|
position: relative;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
marker {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #080808;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
g rect {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #F0F0F0;
|
|
|
|
stroke: #080808;
|
|
|
|
stroke-width: 2px;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2016-08-09 16:20:15 +00:00
|
|
|
g.dead {
|
2019-01-04 21:09:10 +00:00
|
|
|
opacity: .5;
|
2016-08-09 16:20:15 +00:00
|
|
|
}
|
|
|
|
|
2016-05-19 08:17:29 +00:00
|
|
|
g.unsorted rect {
|
2019-01-04 21:09:10 +00:00
|
|
|
opacity: 0.5;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
div.scrollable {
|
2019-01-04 21:09:10 +00:00
|
|
|
overflow-y: auto;
|
|
|
|
overflow-x: hidden;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-01-12 08:54:19 +00:00
|
|
|
g.turbonode[relToHover="input"] rect {
|
2019-01-04 21:09:10 +00:00
|
|
|
stroke: #67e62c;
|
|
|
|
stroke-width: 16px;
|
2018-01-12 08:54:19 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
g.turbonode[relToHover="output"] rect {
|
2019-01-04 21:09:10 +00:00
|
|
|
stroke: #d23b14;
|
|
|
|
stroke-width: 16px;
|
2018-01-12 08:54:19 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
path[relToHover="input"] {
|
2019-01-04 21:09:10 +00:00
|
|
|
stroke: #67e62c;
|
|
|
|
stroke-width: 16px;
|
2018-01-12 08:54:19 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
path[relToHover="output"] {
|
2019-01-04 21:09:10 +00:00
|
|
|
stroke: #d23b14;
|
|
|
|
stroke-width: 16px;
|
2018-01-12 08:54:19 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
g.turbonode:hover rect {
|
|
|
|
stroke: #000000;
|
|
|
|
stroke-width: 7px;
|
|
|
|
}
|
|
|
|
|
|
|
|
g.control rect {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #EFCC00;
|
|
|
|
stroke: #080808;
|
|
|
|
stroke-width: 5px;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-01-12 08:54:19 +00:00
|
|
|
g.javascript rect {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #DD7E6B;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-01-12 08:54:19 +00:00
|
|
|
g.simplified rect {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #3C78D8;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-01-12 08:54:19 +00:00
|
|
|
g.machine rect {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #6AA84F;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
g.input rect {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #CFE2F3;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
g.selected rect {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #FFFF33;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
circle.bubbleStyle {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #080808;
|
|
|
|
fill-opacity: 0.0;
|
|
|
|
stroke: #080808;
|
|
|
|
stroke-width: 2px;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
circle.bubbleStyle:hover {
|
2019-01-04 21:09:10 +00:00
|
|
|
stroke-width: 3px;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
circle.filledBubbleStyle {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #080808;
|
|
|
|
stroke: #080808;
|
|
|
|
stroke-width: 2px;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
circle.filledBubbleStyle:hover {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #080808;
|
|
|
|
stroke-width: 3px;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
circle.halfFilledBubbleStyle {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #808080;
|
|
|
|
stroke: #101010;
|
|
|
|
stroke-width: 2px;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
circle.halfFilledBubbleStyle:hover {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: #808080;
|
|
|
|
stroke-width: 3px;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-01-12 08:54:19 +00:00
|
|
|
path {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: none;
|
|
|
|
stroke: #080808;
|
|
|
|
stroke-width: 4px;
|
|
|
|
cursor: default;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-01-12 08:54:19 +00:00
|
|
|
path:hover {
|
2019-01-04 21:09:10 +00:00
|
|
|
stroke-width: 6px;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
path.hidden {
|
2019-01-04 21:09:10 +00:00
|
|
|
fill: none;
|
|
|
|
stroke-width: 0;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
path.link.selected {
|
2019-01-04 21:09:10 +00:00
|
|
|
stroke: #FFFF33;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
pre.prettyprint {
|
|
|
|
border: none !important;
|
|
|
|
padding: 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
li.L1,
|
|
|
|
li.L3,
|
|
|
|
li.L5,
|
|
|
|
li.L7,
|
|
|
|
li.L9 {
|
2019-01-04 21:09:10 +00:00
|
|
|
background: none !important
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
li.nolinenums {
|
2019-01-04 21:09:10 +00:00
|
|
|
list-style-type: none;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
ul.noindent {
|
|
|
|
-webkit-padding-start: 0px;
|
|
|
|
-webkit-margin-before: 0px;
|
|
|
|
-webkit-margin-after: 0px;
|
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
input:hover,
|
|
|
|
.collapse-pane:hover input {
|
|
|
|
opacity: 1;
|
|
|
|
cursor: pointer;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-12-20 10:25:08 +00:00
|
|
|
.linkable-text {
|
2019-01-04 21:09:10 +00:00
|
|
|
text-decoration: underline;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-12-20 10:25:08 +00:00
|
|
|
.linkable-text:hover {
|
2019-01-04 21:09:10 +00:00
|
|
|
cursor: pointer;
|
|
|
|
font-weight: bold;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-01-12 08:54:19 +00:00
|
|
|
|
2016-05-19 08:17:29 +00:00
|
|
|
#left {
|
2019-01-04 21:09:10 +00:00
|
|
|
float: left;
|
|
|
|
user-select: none;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#middle {
|
2019-01-04 21:09:10 +00:00
|
|
|
float: left;
|
|
|
|
background-color: #F8F8F8;
|
|
|
|
user-select: none;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#right {
|
2019-01-04 21:09:10 +00:00
|
|
|
float: right;
|
2018-01-18 12:49:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.viewpane {
|
2019-01-04 21:09:10 +00:00
|
|
|
height: 100vh;
|
|
|
|
background-color: #FFFFFF;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-11-06 15:18:43 +00:00
|
|
|
.multiview {
|
2019-01-04 21:09:10 +00:00
|
|
|
width: 100%;
|
2018-11-06 15:18:43 +00:00
|
|
|
}
|
|
|
|
|
2018-01-12 08:54:19 +00:00
|
|
|
|
2016-05-19 08:17:29 +00:00
|
|
|
#disassembly-collapse {
|
2019-01-04 21:09:10 +00:00
|
|
|
right: 0;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#source-collapse {
|
2019-01-04 21:09:10 +00:00
|
|
|
left: 0;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-05-16 12:38:24 +00:00
|
|
|
#graph {
|
2019-01-04 21:09:10 +00:00
|
|
|
width: 100%;
|
|
|
|
height: 100%;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
2018-12-21 15:18:00 +00:00
|
|
|
.toolbox-anchor {
|
2019-01-04 21:09:10 +00:00
|
|
|
height: 0px;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-12-21 15:18:00 +00:00
|
|
|
.graph-toolbox {
|
2019-01-04 21:09:10 +00:00
|
|
|
position: relative;
|
|
|
|
border-bottom: 2px solid #eee8d5;
|
|
|
|
z-index: 5;
|
|
|
|
background: rgba(100%, 100%, 100%, 0.7);
|
|
|
|
box-sizing: border-box;
|
2019-01-14 21:54:51 +00:00
|
|
|
padding: 3px;
|
2019-01-04 21:09:10 +00:00
|
|
|
margin-left: 4px;
|
|
|
|
margin-right: 4px;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2018-12-21 15:18:00 +00:00
|
|
|
.disassembly-toolbox {
|
2019-01-04 21:09:10 +00:00
|
|
|
position: relative;
|
|
|
|
padding-bottom: 3px;
|
|
|
|
z-index: 5;
|
|
|
|
background: rgba(100%, 100%, 100%, 0.7);
|
|
|
|
padding-top: 3px;
|
|
|
|
box-sizing: border-box;
|
|
|
|
margin-left: 4px;
|
|
|
|
margin-right: 4px;
|
2016-07-28 09:39:21 +00:00
|
|
|
}
|
|
|
|
|
2016-05-19 08:17:29 +00:00
|
|
|
#load-file {
|
2019-01-04 21:09:10 +00:00
|
|
|
position: absolute;
|
|
|
|
top: 0;
|
|
|
|
right: 0;
|
|
|
|
margin-top: 0.5em;
|
|
|
|
margin-right: 0.5em;
|
|
|
|
z-index: 20;
|
|
|
|
opacity: 0.7;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2016-07-25 09:48:34 +00:00
|
|
|
#load-file input {
|
2019-01-04 21:09:10 +00:00
|
|
|
background: #A0A0A0;
|
|
|
|
border-radius: 5px;
|
|
|
|
padding: 0.5em;
|
2016-07-25 09:48:34 +00:00
|
|
|
}
|
|
|
|
|
2018-05-16 12:38:24 +00:00
|
|
|
#upload-helper {
|
2019-01-04 21:09:10 +00:00
|
|
|
display: none;
|
2016-05-19 08:17:29 +00:00
|
|
|
}
|
|
|
|
|
2016-09-14 09:45:06 +00:00
|
|
|
.prof {
|
2019-01-04 21:09:10 +00:00
|
|
|
cursor: default;
|
2016-08-11 16:46:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
tspan {
|
2019-01-04 21:09:10 +00:00
|
|
|
font-size: 500%;
|
|
|
|
font-family: sans-serif;
|
2016-08-11 16:46:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
text {
|
2019-01-04 21:09:10 +00:00
|
|
|
dominant-baseline: text-before-edge;
|
2018-01-12 08:54:19 +00:00
|
|
|
}
|
|
|
|
|
2018-11-06 20:30:11 +00:00
|
|
|
.resizer {
|
2019-01-04 21:09:10 +00:00
|
|
|
position: absolute;
|
|
|
|
z-index: 10;
|
|
|
|
width: 4px;
|
|
|
|
height: 100%;
|
|
|
|
background: #a0a0a0;
|
|
|
|
cursor: pointer;
|
2018-01-12 08:54:19 +00:00
|
|
|
}
|
|
|
|
|
2018-11-06 20:30:11 +00:00
|
|
|
.resizer.snapped {
|
2019-01-04 21:09:10 +00:00
|
|
|
width: 12px;
|
2018-01-12 08:54:19 +00:00
|
|
|
}
|
|
|
|
|
2018-11-06 20:30:11 +00:00
|
|
|
.resizer.snapped:hover {
|
2019-01-04 21:09:10 +00:00
|
|
|
width: 12px;
|
|
|
|
margin-left: 0px;
|
2018-01-12 08:54:19 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.resizer:hover,
|
|
|
|
.resizer.dragged {
|
|
|
|
width: 10px;
|
|
|
|
margin-left: -4px;
|
|
|
|
background: orange;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.source-position {
|
|
|
|
/* border-left: 1px solid #FF3333; */
|
|
|
|
width: 0;
|
|
|
|
display: inline-block;
|
|
|
|
}
|
|
|
|
|
|
|
|
.source-position .inlining-marker {
|
2019-01-04 21:09:10 +00:00
|
|
|
content: "";
|
|
|
|
position: relative;
|
|
|
|
display: inline-block;
|
|
|
|
top: -0.5ex;
|
|
|
|
margin-left: -4px;
|
|
|
|
margin-right: -4px;
|
|
|
|
border-width: 5px;
|
|
|
|
border-style: solid;
|
|
|
|
border-color: #555 transparent transparent transparent;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.source-position .marker {
|
2019-01-04 21:09:10 +00:00
|
|
|
content: "";
|
|
|
|
display: inline-block;
|
|
|
|
bottom: -1ex;
|
|
|
|
width: 0px;
|
|
|
|
margin-left: -4px;
|
|
|
|
margin-right: -4px;
|
|
|
|
margin-bottom: -1ex;
|
|
|
|
border-width: 5px;
|
|
|
|
border-style: solid;
|
|
|
|
border-color: transparent transparent #555 transparent;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.source-position.selected .marker {
|
2019-01-04 21:09:10 +00:00
|
|
|
border-color: transparent transparent #F00 transparent;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.source-position .inlining-marker:hover {
|
2019-01-04 21:09:10 +00:00
|
|
|
border-color: transparent transparent #AA5 transparent;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.source-position .inlining-marker[data-descr]:hover::after {
|
2019-01-04 21:09:10 +00:00
|
|
|
content: attr(data-descr);
|
|
|
|
position: absolute;
|
|
|
|
font-size: 10px;
|
|
|
|
z-index: 1;
|
|
|
|
background-color: #555;
|
|
|
|
color: #fff;
|
|
|
|
text-align: center;
|
|
|
|
border-radius: 6px;
|
|
|
|
padding: 6px;
|
|
|
|
top: 6px;
|
|
|
|
left: 50%;
|
|
|
|
margin-left: -80px;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
2018-10-05 14:12:20 +00:00
|
|
|
#sequence {
|
2019-01-04 21:09:10 +00:00
|
|
|
font-family: monospace;
|
|
|
|
margin-top: 50px;
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
2018-05-16 12:38:24 +00:00
|
|
|
#schedule {
|
2019-01-04 21:09:10 +00:00
|
|
|
font-family: monospace;
|
|
|
|
margin-top: 50px;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block {
|
2019-01-04 21:09:10 +00:00
|
|
|
margin: 5px;
|
|
|
|
background-color: white;
|
|
|
|
padding-left: 5px;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .block-id {
|
2019-01-04 21:09:10 +00:00
|
|
|
display: inline-block;
|
|
|
|
font-size: large;
|
|
|
|
text-decoration: underline;
|
|
|
|
padding-left: 1ex;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .block-id:hover {
|
2019-01-04 21:09:10 +00:00
|
|
|
font-weight: bold;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.schedule-block>.block-id::before {
|
|
|
|
content: "Block B";
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
2019-02-28 11:26:53 +00:00
|
|
|
.schedule-block.deferred>.block-id::after {
|
|
|
|
content: " (deferred)";
|
|
|
|
}
|
|
|
|
|
2018-05-16 12:38:24 +00:00
|
|
|
.schedule-block .block-list {
|
2019-01-04 21:09:10 +00:00
|
|
|
display: inline-block;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .block-list * {
|
2019-01-04 21:09:10 +00:00
|
|
|
display: inline-block;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .block-list .block-id {
|
2019-01-04 21:09:10 +00:00
|
|
|
padding-left: 1ex;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .block-list .block-id:before {
|
2019-01-04 21:09:10 +00:00
|
|
|
content: "B";
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .predecessor-list::before {
|
2019-01-04 21:09:10 +00:00
|
|
|
display: inline-block;
|
|
|
|
content: " \2B05 ";
|
|
|
|
padding-left: 1ex;
|
|
|
|
padding-right: 1ex;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .successor-list::before {
|
2019-01-04 21:09:10 +00:00
|
|
|
display: inline-block;
|
|
|
|
content: " \2B95 ";
|
|
|
|
padding-left: 1ex;
|
|
|
|
padding-right: 1ex;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .nodes .node * {
|
2019-01-04 21:09:10 +00:00
|
|
|
display: inline-block;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .nodes .node .node-id {
|
2019-01-04 21:09:10 +00:00
|
|
|
padding-right: 1ex;
|
|
|
|
min-width: 5ex;
|
|
|
|
text-align: right;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .nodes .node .node-id:after {
|
2019-01-04 21:09:10 +00:00
|
|
|
content: ":";
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .nodes .node .node-label {
|
2019-01-04 21:09:10 +00:00
|
|
|
user-select: text;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .nodes .node .parameter-list:before {
|
2019-01-04 21:09:10 +00:00
|
|
|
content: "(";
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.schedule-block .nodes .node .parameter-list:after {
|
2019-01-04 21:09:10 +00:00
|
|
|
content: ")";
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
2018-06-13 13:28:47 +00:00
|
|
|
.schedule-block .instr-marker {
|
2019-01-04 21:09:10 +00:00
|
|
|
padding-right: .5ex;
|
|
|
|
padding-left: .5ex;
|
2019-01-05 11:42:23 +00:00
|
|
|
min-width: 1em;
|
2019-01-04 21:09:10 +00:00
|
|
|
background: #EEEEEE;
|
|
|
|
/* display: none; */
|
2018-06-13 13:28:47 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.schedule-block>.instr-marker {
|
|
|
|
display: inline;
|
2018-06-13 13:28:47 +00:00
|
|
|
}
|
|
|
|
|
2018-10-05 14:12:20 +00:00
|
|
|
.instruction * {
|
2019-01-04 21:09:10 +00:00
|
|
|
padding-right: .5ex;
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.phi-label,
|
|
|
|
.instruction-id {
|
|
|
|
display: inline-block;
|
|
|
|
padding-right: .5ex;
|
|
|
|
padding-left: .5ex;
|
|
|
|
min-width: 1ex;
|
|
|
|
vertical-align: top;
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.instruction-id:after {
|
2019-01-04 21:09:10 +00:00
|
|
|
content: ":";
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.instruction-node,
|
|
|
|
.gap,
|
|
|
|
.instruction {
|
|
|
|
display: block;
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.phi-contents,
|
|
|
|
.instruction-contents,
|
|
|
|
.gap *,
|
|
|
|
.instruction * {
|
|
|
|
display: inline-block;
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.phi * {
|
2019-01-04 21:09:10 +00:00
|
|
|
padding-right: 1ex;
|
|
|
|
display: inline-block;
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.gap .gap-move {
|
2019-01-04 21:09:10 +00:00
|
|
|
padding-left: .5ex;
|
|
|
|
padding-right: .5ex;
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.gap>*:before {
|
|
|
|
content: "(";
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.gap>*:after {
|
|
|
|
content: ")";
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.parameter.constant {
|
2019-01-04 21:09:10 +00:00
|
|
|
outline: 1px dotted red;
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
2018-05-16 12:38:24 +00:00
|
|
|
.clickable:hover {
|
2019-01-04 21:09:10 +00:00
|
|
|
text-decoration: underline;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.clickable:hover {
|
2019-01-04 21:09:10 +00:00
|
|
|
font-weight: bold;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.comma-sep-list>* {
|
|
|
|
padding-right: 1ex;
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.comma-sep-list>*:after {
|
|
|
|
content: ",";
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.comma-sep-list>*:last-child:after {
|
|
|
|
content: "";
|
2018-05-16 12:38:24 +00:00
|
|
|
}
|
|
|
|
|
2019-01-04 21:09:10 +00:00
|
|
|
.comma-sep-list>*:last-child {
|
|
|
|
padding-right: 0ex;
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.temps:before {
|
2019-01-04 21:09:10 +00:00
|
|
|
content: "temps: ";
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.temps {
|
2019-01-04 21:09:10 +00:00
|
|
|
padding-left: .5ex;
|
|
|
|
outline: 1px dotted grey;
|
2018-10-05 14:12:20 +00:00
|
|
|
}
|