Spaces:
Running
Running
| body { | |
| padding: 0; | |
| margin: 0; | |
| font-family: "Source Sans Pro", sans-serif; | |
| font-size: 1rem; | |
| line-height: 1.4; | |
| } | |
| .highlighted-text, .status-bar { | |
| color: black; | |
| background-color: white; | |
| } | |
| .highlighted-text { | |
| border: 1px solid #d2d2d2; | |
| border-radius: 0 0 5px 5px; | |
| padding: 4px; | |
| cursor: pointer; | |
| .token.active { | |
| outline: 1px solid #444; | |
| } | |
| &.frozen { | |
| .token { | |
| opacity: 0.75; | |
| &.context, &.active { | |
| opacity: 1; | |
| } | |
| &.context { | |
| text-decoration: #999 underline; | |
| } | |
| } | |
| } | |
| } | |
| .status-bar { | |
| min-height: 1.4em; | |
| border: 1px solid #d2d2d2; | |
| border-bottom: none; | |
| border-radius: 5px 5px 0 0; | |
| padding: 3px 4px; | |
| .token { | |
| border: 1px solid #aaa; | |
| border-radius: 2px; | |
| background: #f5f5f5; | |
| padding: 1px; | |
| margin: 1px; | |
| margin-right: 2px; | |
| } | |
| } | |