Spaces:
Runtime error
Runtime error
| .tokenized-text { | |
| width:100%; | |
| padding:2rem; | |
| max-height: 400px; | |
| overflow-y: auto; | |
| box-sizing:border-box; | |
| line-height:1rem; /* Lots of space between lines */ | |
| font-family: "Roboto Light", "Ubuntu Light", "Ubuntu", monospace; | |
| box-shadow: 2px 2px 2px rgba(0,0,0,0.2); | |
| background-color: rgba(0,0,0,0.01); | |
| letter-spacing:1px; /* Give some extra separation between chars */ | |
| } | |
| th, td { | |
| padding: 4px; | |
| border: 1px solid; | |
| } | |
| .non-token{ | |
| /* White space and other things the tokenizer ignores*/ | |
| white-space: pre; | |
| letter-spacing:4px; | |
| /* border-top:1px solid #A0A0A0; /* A gentle border on top and bottom makes tabs more ovious*/ | |
| /*border-bottom:1px solid #A0A0A0;*/ | |
| line-height: 1rem; | |
| height: calc(100% - 2px); | |
| } | |
| .token { | |
| white-space: pre; | |
| position:relative; | |
| color:black; | |
| letter-spacing:2px; | |
| } | |
| .even-token{ | |
| background:#DCDCDC ; | |
| border: 1px solid #DCDCDC; | |
| } | |
| .odd-token{ | |
| background:#A0A0A0; | |
| border: 1px solid #A0A0A0; | |
| } | |
| .count{ | |
| font-family: "Tahoma" "Arial"; | |
| font-size: 1.2em; | |
| } |