body{font-family:Arial,sans-serif;background-color:#f4f4f4;margin:0;padding:0}header{background-color:#5eaaff;color:#fff;padding:20px;text-align:center;font-size:1.5em}main{display:grid;grid-template-columns:1fr 2fr;gap:20px;padding:20px}.panel{background-color:#fff;padding:20px;border-radius:8px;box-shadow:0 0 10px #0000001a}.language-selection{position:absolute;top:10px;right:20px}.export-section{grid-column:span 2}.test-case-tabs,.export-tabs{display:flex;gap:10px}.export-tab-content{background-color:#f9f9f9;padding:10px;border-radius:4px;box-shadow:inset 0 0 5px #0000001a;margin-top:10px}.state{border:1.5px solid currentColor;padding:3px 6px;white-space:nowrap;border-radius:100px}.acceptState{border:5px double currentColor;padding:3px 6px;white-space:nowrap;border-radius:100px}.language-properties-table tr :last-child{text-align:right}.tooltip{position:relative;display:inline-block}.properties-table{border-collapse:collapse}.properties-table thead{background-color:#e6f3ff}.properties-table thead th,.properties-table td{border:1px solid #707070;padding:8px}.unimplemented{background-color:#ffb4b4!important}.unimplemented:hover{background-color:#ff8f8f!important}.unimplemented:hover:after{content:"TODO";position:absolute;background-color:#000;color:#fff;padding:5px;border-radius:4px;font-size:14px;white-space:nowrap}.tooltip-unimplemented:hover:after{content:"Not yet implemented"}.tooltip-only-ascii:hover:after{content:"Available only for ASCII characters"}.tooltip:hover:after{position:absolute;background-color:#000;color:#fff;padding:5px;border-radius:4px;font-size:14px;top:100%;left:50%;transform:translate(-50%);white-space:nowrap}.acceptance-percentage-table th,.acceptance-percentage-table td{border:1px solid #707070;padding:8px}.acceptance-percentage-table{border-collapse:collapse}.acceptance-percentage-table thead tr:first-child{background-color:#e6f3ff}.acceptance-percentage-table tr td:first-child{text-align:center;background-color:#e6f3ff}.acceptance-percentage-table tr :not(:first-child){text-align:right}code.alphabet{padding:.1em .3em;border-radius:3px;font-size:120%;background-color:#f2f2f7;border:1px solid #d1d1e6}.transition-table{border-collapse:collapse}.transition-table thead{background-color:#e6f3ff}.transition-table td{border:1px solid #707070;padding:10px 8px}.transition-table tr td{text-align:center}.transition-table tr td:first-child{text-align:center;background-color:#e6f3ff}.highlighted{background-color:#a7d0ff}