/* style do obrazowania diagramów maszyn */

pre.machine {text-align: left}
.machine span.stan {background-color: #ffffff; color: #000000; margin: 2px; padding: 2px; border: 1px solid black}
.machine span.tape {background-color: #e0e0e0}
.machine span.cell {background-color: #00ff00; color: #000000; margin: 2px; padding: 2px; border: solid; border-width: 1px; border-color: #000000 }
.machine span.cell+span.head {margin-left: 2px; padding-left: 2px }
.machine span.head+span.cell {margin-left: 2px; padding-left: 2px }
.machine span.head {background-color: #e0e000; color: #000000; margin: 2px; padding: 2px; border: solid; border-width: 1px; border-color: #000000 }
.machine .code {color: #0000a0}

pre.machine span.opis {color: #0000a0}