<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">rect.room {
  fill: #F8FFF9;
  margin: 0;
}
rect.plate {
  stroke: black;
  stroke-width: 1px;
  fill: #F8FFF9;
  fill-opacity: 1; 
  radius: 4px;
  stroke-opacity: 1;
}
rect.driveWheel {
  fill: black;
  fill-opacity: 1;    
}
line.axis {
    stroke-width: 1px;
    stroke: tomato;     
}
line.mmline {
    stroke-width: 1px;
    stroke: black;     
}
path.spath {
    stroke-width: 1px;
    stroke: orange;
    fill:none;
}

circle.spath {
    stroke-width: 1px;
    stroke: orange;
    fill:none;
}

circle.center {
   fill: tomato;
   stroke: none;
}

.mmaxis path, .mmaxis line {
    fill: none;
    stroke: steelblue;
    fill-opacity: 1;
}
 
.mmtext {
    font: 10px Verdana;
}

.labels {
    fill: white;
    font-famely: "sans-sefif";
    font-size: 13px;
}
.texts {
  min-height: 500px;
  margin-top: 10px;
  padding: 4px;
  text-align: left;
  background: #F8FFF9;
}
div.showerror {
    padding-top: 6px;
    color: red;
    text-align: left;
}
.showerror &gt; * + p {
    margin-top: -10px;
}
div.showwarning {
    padding-top: 3px;
    color: chocolate;
    text-align: left;
}
.headtask {
    font-size: 16px;
    font-weight: bold;
}
div.headstage {
    font-weight: 700;
    padding-top: 4px;
    font-size: 18px;
    color: #7f5e60;
}
div.headstep {
    font-weight: 600;
    padding-top: 3px;
    font-size: 16 px;
    color: #3f5e60;
}
span.author {
    color: tomato;
}
.legend {
    color: #003F53; 
    background-color: #F8FFF9;
}

.pult {
  margin: 0 auto;
  padding: 5px;
  text-align: center;
}

.clear {
    clear:left;
}

.hpult {
    width: 80px;
    margin-top: 4px;
    text-align: left;
    font-weight: bold;
}

.stdin, .stdout {
    font-family: monospace;
    text-align: left;
}
.hstdin, .hstdout {
    font-family: monospace;
    font-weight: bold;
    font-size: 120%;     
}

div.grant {
    margin: 5px;
    font-style: italic;
    text-align: center;
    color: 008b8b;
}
.linebuttons {
    text-align: left;
}
.floatleft {
    float: left;
}
.taskstable {
    border: none;
    width: 10em;
    background-color: #D0F5F0;
}
.taskstable td,th {
    width: 3em;
    border: none;
    padding: 0;
}
.taskstable th {
    text-align: left;
    padding-right:1px;
}
table.taskstable td {
    text-align: center;
    padding-left:1px;
    padding-right:2px;
    width: 25px;
}
span.selected {
    font-weight: 800;
    color: #CF3575;
    font-size: 14px;
    margin-left: 3px;
    margin-right: 3px;
    text-decoration: none;
    padding: 2px 7px; 
    border: solid 1px #A982C8;
    border-radius: 11px;
    background: greenyellow;
    transition: 0.3s;
    
    text-align:center;
}
span.notselected {
    color: #003F8F;
    background: #e6e6fa;
    font-weight: 700;
    font-size: 14px;
    margin-left: 3px;
    margin-right: 3px;
    text-decoration: none;
    padding: 2px 7px;
    border: solid 1px #A982C8;
    border-radius: 11px;
    transition: 0.3s;
    text-align:center;
}
.button, .taskbutton, .taskselect {
     font-weight: 700;
     color: lemonchiffon;
     text-decoration: none;
     padding: .3em .5em calc(.3em + 1px);
     border-radius: 2px;
     background: cadetblue;
     box-shadow: 0 -2px rgb(53,127,110) inset;
     transition: 0.3s;
     text-align:center;
}
.button {
     width: 28px;
}

.taskselect {
    width: 40px;
}
.taskclear {
     font-weight: 700;
     color: lemonchiffon;
     text-decoration: none;
     padding: 0 2px 2px 2px;
     border-radius: 2px;
     background: cadetblue;
     box-shadow: 0 -2px rgb(53,127,110) inset;
     transition: 0.3s;
     text-align:center;
     width: 23px;
     font-size: 19px;
}

.taskbutton {
    width: 105px;
}

.start-stop {
     font-weight: 700;
     color: lemonchiffon;
     text-decoration: none;
     /*width: 13em;*/
     padding: .2em .3em calc(.2em + 1px);
     border-radius: 1px;
     background: cadetblue;
     box-shadow: 0 -2px rgb(53,127,110) inset;
     transition: 0.3s;
     text-align:center;
}

input[type="checkbox"]{
    margin-top: 9px;
    margin-left: 6px;
    height:15px;
    width:15px;
    -webkit-transform: scale(2,2);
    -moz-transform: scale(2,2);
    -o-transform: scale(2,2);
    transform: scale(1.5,1.5);
}
</pre></body></html>