body { background: white; color: black; font-family: sans; font-size: normal; } h1 { background: rgb(0, 166, 214); color: white; padding: 0.5ex; font-size: 1.8em; } #webmap_container { display: inline-block; border: 1px dashed black; } .log { white-space: pre-wrap; border: 1px solid rgb(0, 166, 214); padding: 0.5ex; max-height: 5em; overflow-y: auto; } svg.webmap { image-rendering:optimizeSpeed; /* Legal fallback */ image-rendering:-moz-crisp-edges; /* Firefox */ image-rendering:-o-crisp-edges; /* Opera */ image-rendering:-webkit-optimize-contrast; /* Chrome (and eventually Safari) */ image-rendering:optimize-contrast; /* CSS3 Proposed */ -ms-interpolation-mode:nearest-neighbor; /* IE8+ */ } .stage { fill: #f00; stroke: #000; stroke-width: 0.01; } .stage.selected { fill: #f66; stroke: #fcc; } .stage_0 { fill: #0a0; stroke: #000; } .stage_1 { fill: #f00; stroke: #000; } .stage_0.selected { fill: #6a6; stroke: #cfc; } .stage_1.selected { fill: #f66; stroke: #fcc; } .laserscan > .dot { fill: #f00; stroke: none; } .stage_0 > .laserscan > .dot { fill: #0a0; } .stage_1 > .laserscan > .dot { fill: #f00; }