Add a playground to the docs site

This commit is contained in:
Max Brunsfeld 2019-04-24 16:58:30 -07:00
parent 1fc0525940
commit e39d69dfa7
6 changed files with 316 additions and 2 deletions

View file

@ -116,3 +116,43 @@ body {
}
}
}
#playground-container {
> .CodeMirror {
height: auto;
max-height: 350px;
border: 1px solid #aaa;
}
.CodeMirror-scroll {
height: auto;
max-height: 350px;
}
h4, select, .field {
display: inline-block;
margin-right: 20px;
}
#logging-checkbox {
height: 15px;
}
.CodeMirror div.CodeMirror-cursor {
border-left: 3px solid red;
}
}
#output-container {
position: relative;
margin-top: 0;
overflow: auto;
padding: 20px 10px;
max-height: 350px;
border: 1px solid #aaa;
}
.tree-link.highlighted {
background-color: #ddd;
text-decoration: underline;
}