1 .visible-transition { 2 transition-delay: 0s; 3 transition-duration: 1s; 4 transition-property: all; 5 transition-timing-function: ease; 6 } 7 8 .collapse-pane { 9 background: #A0A0A0; 10 bottom: 0; 11 position: absolute; 12 margin-bottom: 0.5em; 13 margin-right: 0.5em; 14 margin-left: 0.5em; 15 border-radius: 5px; 16 padding: 0.5em; 17 z-index: 5; 18 opacity: 0.7; 19 cursor: pointer; 20 } 21 22 .search-input { 23 vertical-align: middle; 24 width: 145px; 25 opacity: 1; 26 } 27 28 .button-input { 29 vertical-align: middle; 30 width: 24px; 31 opacity: 0.4; 32 cursor: pointer; 33 } 34 35 .button-input-toggled { 36 border-radius: 5px; 37 background-color: #505050; 38 } 39 40 .button-input:focus { 41 outline: none; 42 } 43 44 .button-input-invisible { 45 vertical-align: middle; 46 width: 0px; 47 visibility: hidden; 48 } 49 50 51 .selected { 52 background-color: #FFFF33; 53 } 54 55 .prettyprint ol.linenums > li { 56 list-style-type: decimal; 57 !important 58 } 59 60 body { 61 margin: 0; 62 padding: 0; 63 overflow:hidden; 64 -webkit-touch-callout: none; 65 -webkit-user-select: none; 66 -khtml-user-select: none; 67 -moz-user-select: none; 68 -ms-user-select: none; 69 user-select: none; 70 } 71 72 p { 73 text-align: center; 74 overflow: overlay; 75 position: relative; 76 } 77 78 marker { 79 fill: #080808; 80 } 81 82 g rect { 83 fill: #F0F0F0; 84 stroke: #080808; 85 stroke-width: 2px; 86 } 87 88 g.dead { 89 opacity: .5; 90 } 91 92 g.unsorted rect { 93 opacity: 0.5; 94 } 95 96 div.scrollable { 97 overflow-y: _croll; overflow-x: hidden; 98 } 99 100 g.control rect { 101 fill: #EFCC00; 102 stroke: #080808; 103 stroke-width: 5px; 104 } 105 106 g.javascript rect { 107 fill: #DD7E6B; 108 } 109 110 g.simplified rect { 111 fill: #3C78D8; 112 } 113 114 g.machine rect { 115 fill: #6AA84F; 116 } 117 118 g.input rect { 119 fill: #CFE2F3; 120 } 121 122 g.selected rect { 123 fill: #FFFF33; 124 } 125 126 circle.bubbleStyle { 127 fill: #080808; 128 fill-opacity: 0.0; 129 stroke: #080808; 130 stroke-width: 2px; 131 } 132 133 circle.bubbleStyle:hover { 134 stroke-width: 3px; 135 } 136 137 circle.filledBubbleStyle { 138 fill: #080808; 139 stroke: #080808; 140 stroke-width: 2px; 141 } 142 143 circle.filledBubbleStyle:hover { 144 fill: #080808; 145 stroke-width: 3px; 146 } 147 148 circle.halfFilledBubbleStyle { 149 fill: #808080; 150 stroke: #101010; 151 stroke-width: 2px; 152 } 153 154 circle.halfFilledBubbleStyle:hover { 155 fill: #808080; 156 stroke-width: 3px; 157 } 158 159 path.effect { 160 fill: none; 161 stroke: #080808; 162 stroke-width: 4px; 163 cursor: default; 164 } 165 166 path.effect:hover { 167 stroke-width: 6px; 168 } 169 170 path.control { 171 fill: none; 172 stroke: #080808; 173 stroke-width: 4px; 174 cursor: default; 175 } 176 177 path.control:hover { 178 stroke-width: 6px; 179 } 180 181 path.value { 182 fill: none; 183 stroke: #888888; 184 stroke-width: 4px; 185 cursor: default; 186 } 187 188 path.value:hover { 189 stroke-width: 6px; 190 } 191 192 path.frame-state { 193 fill: none; 194 stroke: #080808; 195 stroke-width: 4px; 196 cursor: default; 197 } 198 199 path.frame-state:hover{ 200 stroke-width: 6px; 201 } 202 203 path.hidden { 204 fill: none; 205 stroke-width: 0; 206 } 207 208 path.link.selected { 209 stroke: #FFFF33; 210 } 211 212 pre.prettyprint { 213 border: none !important; 214 padding: 0px; 215 } 216 217 li.L1, 218 li.L3, 219 li.L5, 220 li.L7, 221 li.L9 { 222 background: none !important 223 } 224 225 li.nolinenums { 226 list-style-type:none; 227 } 228 229 ul.noindent { 230 -webkit-padding-start: 0px; 231 -webkit-margin-before: 0px; 232 -webkit-margin-after: 0px; 233 } 234 235 input:hover, .collapse-pane:hover input { 236 opacity: 1; 237 cursor: pointer; 238 } 239 240 span.linkable-text { 241 text-decoration: underline; 242 } 243 244 span.linkable-text:hover { 245 cursor: pointer; 246 font-weight: bold; 247 } 248 249 #left { 250 float: left; height: 100%; background-color: #FFFFFF; 251 -webkit-transition: all 1s ease-in-out; 252 -moz-transition: all 1s ease-in-out; 253 -o-transition: all 1s ease-in-out; 254 transition: all .3s ease-in-out; 255 transition-property: width; 256 } 257 258 #middle { 259 float:left; height: 100%; background-color: #F8F8F8; 260 -webkit-transition: all 1s ease-in-out; 261 -moz-transition: all 1s ease-in-out; 262 -o-transition: all 1s ease-in-out; 263 transition: all .3s ease-in-out; 264 transition-property: width; 265 } 266 267 #right { 268 float: right; background-color: #FFFFFF; 269 -webkit-transition: all 1s ease-in-out; 270 -moz-transition: all 1s ease-in-out; 271 -o-transition: all 1s ease-in-out; 272 transition: all .3s ease-in-out; 273 transition-property: width; 274 } 275 276 #disassembly-collapse { 277 right: 0; 278 } 279 280 #source-collapse { 281 left: 0; 282 } 283 284 #graph-toolbox-anchor { 285 height: 0px; 286 } 287 288 #graph-toolbox { 289 position: relative; 290 top: 1em; 291 left: 0.7em; 292 border: 2px solid #eee8d5; 293 border-radius: 5px; 294 padding: 0.7em; 295 z-index: 5; 296 background: rgba(100%, 100%, 100%, 0.7); 297 } 298 299 #disassembly-toolbox { 300 position: relative; 301 top: 1em; 302 left: 0.7em; 303 border: 2px solid #eee8d5; 304 border-radius: 5px; 305 padding: 0.7em; 306 z-index: 5; 307 } 308 309 #load-file { 310 position: absolute; 311 top: 0; 312 right: 0; 313 margin-top: 0.5em; 314 margin-right: 0.5em; 315 z-index: 5; 316 opacity: 0.7; 317 } 318 319 #load-file input { 320 background: #A0A0A0; 321 border-radius: 5px; 322 padding: 0.5em; 323 } 324 325 #hidden-file-upload { 326 display: none; 327 } 328 329 .prof { 330 cursor: default; 331 } 332 333 tspan { 334 font-size: 500%; 335 font-family: sans-serif; 336 } 337 338 text { 339 dominant-baseline: text-before-edge; 340 }