Spaces:
Running
Running
body { | |
padding: 0; | |
margin: 0; | |
font-family: "Source Sans Pro", sans-serif; | |
font-size: 1rem; | |
line-height: 1.4; | |
} | |
.container { | |
border: 1px solid #d2d2d2; | |
border-radius: 5px; | |
padding: 12px 16px 12px 16px; | |
} | |
.highlighted-text { | |
color: black; | |
background-color: white; | |
} | |
.highlighted-text { | |
background-color: #fefefe; | |
border: 1px solid #31333f33; | |
border-radius: 5px; | |
padding: 5px; | |
max-height: 350px; | |
overflow-y: auto; | |
cursor: pointer; | |
.token.prefix ~ .token:not(.prefix) { | |
color: #2563eb; | |
} | |
.token.active { | |
outline: 1px solid #444; | |
} | |
} | |
.status-bar { | |
min-height: 1.4em; | |
padding-bottom: 12px; | |
.token { | |
border: 1px solid #aaa; | |
border-radius: 2px; | |
background: #f5f5f5; | |
padding: 1px; | |
margin: 1px; | |
margin-right: 2px; | |
} | |
} | |