app.min.css

#sourcecode,html{overflow:hidden}#code-editor,#config-panel{width:100%;box-sizing:border-box}#controls,#legend{padding:1em}#code-editor,.config{font-family:"Roboto Mono",Menlo,monospace;color:#465169}@font-face{font-family:Lato;font-style:normal;font-weight:400;src:local('Lato Regular'),local('Lato-Regular'),url(fonts/lato-v14-latin-regular.woff2) format('woff2'),url(fonts/lato-v14-latin-regular.woff) format('woff')}@font-face{font-family:Lato;font-style:italic;font-weight:400;src:local('Lato Italic'),local('Lato-Italic'),url(fonts/lato-v14-latin-italic.woff2) format('woff2'),url(fonts/lato-v14-latin-italic.woff) format('woff')}@font-face{font-family:Lato;font-style:normal;font-weight:700;src:local('Lato Bold'),local('Lato-Bold'),url(fonts/lato-v14-latin-700.woff2) format('woff2'),url(fonts/lato-v14-latin-700.woff) format('woff')}@font-face{font-family:Lato;font-style:italic;font-weight:700;src:local('Lato Bold Italic'),local('Lato-BoldItalic'),url(fonts/lato-v14-latin-700italic.woff2) format('woff2'),url(fonts/lato-v14-latin-700italic.woff) format('woff')}@font-face{font-family:'Roboto Mono';font-style:normal;font-weight:400;src:local('Roboto Mono'),local('RobotoMono-Regular'),url(fonts/roboto-mono-v5-latin-regular.woff2) format('woff2'),url(fonts/roboto-mono-v5-latin-regular.woff) format('woff')}body,html{font-size:11pt;margin:0;padding:0;color:#555;min-width:320px}h1,h2,h3,h4,h5{font-family:"Source Sans Pro","Helvetica Neue",Helvetica,Arial,sans-serif}i.icon.file.image-outline::before{content:"\f1c5"}i.icon.unordered-list::before{content:"\f0ca"}.ui.input input[type=file]{padding:1ex}.ui.message.hidden:first-child+.ui.header{margin-top:-.14285714em}.ui.message .action{margin-right:.7rem;float:right;position:relative;z-index:10}.compact.icon.button.item{padding:.5em;margin-left:0;margin-right:5px}.eml{cursor:pointer}.eml:hover{border-bottom:1pt dotted}.eml.kl::after{content:"@cs.uni-kl.de"}.eml.gm::after{content:"@gmail.com"}.ui.left-half.button{width:22px;padding-left:2pt!important;padding-right:0!important}.ui.right-half.button{width:22px;padding-left:0!important;padding-right:2pt!important}.ui.mid.button{width:2.5em;padding-left:0!important;padding-right:0!important}#controls{height:4.5em!important;margin-top:-4.5em!important}#graph{border:none;font-family:"Roboto Mono",Menlo,monospace}#simulation{position:absolute;margin:0;padding:0;bottom:0;top:0;left:0;right:0;background:#fff}#simulator-controls{position:absolute;z-index:500;bottom:10px;left:50%;transform:translateX(-50%);background-color:#e0e1e2;border-radius:.28571429rem}#code-editor,#config-panel,#sourcecode #source-panel{border:0;left:0;position:absolute}@media (max-width:525px){#simulator-controls .inessential{display:none}}#search-bar{position:absolute;top:10px;right:10px;width:100px}#search-bar.focus input{border-color:#3b83c0}#search-bar.focus.error input{border-color:#dbb1b1}#nodes .match{fill:red!important}#nodes .no-match{fill:#ccc!important}#sourcecode{position:relative;opacity:.9}#sourcecode:focus,#sourcecode:hover{opacity:1}.strong input{font-size:11pt!important;font-weight:700}#sourcecode .program-menu{height:43px;margin:0;padding-left:.2em;z-index:10;background:#fff}#sourcecode #source-panel{padding:0;margin:0;right:0;top:43px;bottom:40%;z-index:-1}#sourcecode #source-panel #reload-code{position:absolute;bottom:10px;right:10px;display:inline-block;z-index:2}#sourcecode #source-panel #validate-code{position:absolute;bottom:10px;left:10px;right:10px}#code-editor{font-size:10pt;outline:0;height:100%;padding:2px 20px 20px;line-height:180%;resize:none;top:0}#code-editor:focus,#code-editor:hover{background:#fafafa}#config-panel{height:40%;background:#fff;top:60%}#legend .legend-item{float:left;min-width:50px;margin-bottom:3px;margin-right:10px;display:inline-block}#legend .legend-color{padding-left:18px;padding-top:10px;margin:3pt;font-size:0;cursor:pointer}.config{padding:20px;line-height:120%;word-wrap:break-word;background:#fff}#addcalls{position:absolute;bottom:5px;left:5px}#redex .punct{color:gray}#redex .proc-name{display:inline-block;background:#383838;padding:3px 5px;border-radius:2px;min-width:1.6em;text-align:center}