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 60body { 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 72p { 73 text-align: center; 74 overflow: overlay; 75 position: relative; 76} 77 78marker { 79 fill: #080808; 80} 81 82g rect { 83 fill: #F0F0F0; 84 stroke: #080808; 85 stroke-width: 2px; 86} 87 88g.dead { 89 opacity: .5; 90} 91 92g.unsorted rect { 93 opacity: 0.5; 94} 95 96div.scrollable { 97 overflow-y: _croll; overflow-x: hidden; 98} 99 100g.control rect { 101 fill: #EFCC00; 102 stroke: #080808; 103 stroke-width: 5px; 104} 105 106g.javascript rect { 107 fill: #DD7E6B; 108} 109 110g.simplified rect { 111 fill: #3C78D8; 112} 113 114g.machine rect { 115 fill: #6AA84F; 116} 117 118g.input rect { 119 fill: #CFE2F3; 120} 121 122g.selected rect { 123 fill: #FFFF33; 124} 125 126circle.bubbleStyle { 127 fill: #080808; 128 fill-opacity: 0.0; 129 stroke: #080808; 130 stroke-width: 2px; 131} 132 133circle.bubbleStyle:hover { 134 stroke-width: 3px; 135} 136 137circle.filledBubbleStyle { 138 fill: #080808; 139 stroke: #080808; 140 stroke-width: 2px; 141} 142 143circle.filledBubbleStyle:hover { 144 fill: #080808; 145 stroke-width: 3px; 146} 147 148circle.halfFilledBubbleStyle { 149 fill: #808080; 150 stroke: #101010; 151 stroke-width: 2px; 152} 153 154circle.halfFilledBubbleStyle:hover { 155 fill: #808080; 156 stroke-width: 3px; 157} 158 159path.effect { 160 fill: none; 161 stroke: #080808; 162 stroke-width: 4px; 163 cursor: default; 164} 165 166path.effect:hover { 167 stroke-width: 6px; 168} 169 170path.control { 171 fill: none; 172 stroke: #080808; 173 stroke-width: 4px; 174 cursor: default; 175} 176 177path.control:hover { 178 stroke-width: 6px; 179} 180 181path.value { 182 fill: none; 183 stroke: #888888; 184 stroke-width: 4px; 185 cursor: default; 186} 187 188path.value:hover { 189 stroke-width: 6px; 190} 191 192path.frame-state { 193 fill: none; 194 stroke: #080808; 195 stroke-width: 4px; 196 cursor: default; 197} 198 199path.frame-state:hover{ 200 stroke-width: 6px; 201} 202 203path.hidden { 204 fill: none; 205 stroke-width: 0; 206} 207 208path.link.selected { 209 stroke: #FFFF33; 210} 211 212pre.prettyprint { 213 border: none !important; 214 padding: 0px; 215} 216 217li.L1, 218li.L3, 219li.L5, 220li.L7, 221li.L9 { 222 background: none !important 223} 224 225li.nolinenums { 226 list-style-type:none; 227} 228 229ul.noindent { 230 -webkit-padding-start: 0px; 231 -webkit-margin-before: 0px; 232 -webkit-margin-after: 0px; 233} 234 235input:hover, .collapse-pane:hover input { 236 opacity: 1; 237 cursor: pointer; 238} 239 240span.linkable-text { 241 text-decoration: underline; 242} 243 244span.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 333tspan { 334 font-size: 500%; 335 font-family: sans-serif; 336} 337 338text { 339 dominant-baseline: text-before-edge; 340}