#workspaceBody { margin-top: 1rem; }
#workspaceBody label { display: inline-block; margin: .5rem .8rem .5rem 0; }
#workspaceBody input:not([type=checkbox]), #workspaceBody select { padding: .55rem; max-width: 100%; }
#workspaceBody textarea { box-sizing: border-box; font: .95rem/1.5 monospace; padding: 1rem; }
#workspaceBody button, #workspaceControls button { margin: .3rem; padding: .6rem .9rem; }
#workspaceBody pre { white-space: pre-wrap; overflow-wrap: anywhere; background: var(--ds-subtle); padding: 1rem; }
#workspaceBody fieldset { border: 1px solid var(--ds-border); border-radius: .5rem; margin: 1rem 0; }
#workspaceBody blockquote { border-left: 3px solid var(--ds-border); padding-left: 1rem; }
#workspaceStatus { white-space: pre-wrap; }