.lattice-controls .ode-editor{height:96px;min-height:76px;resize:vertical}.lattice-controls .initial-editor{height:78px}.lattice-controls textarea.ode-editor{padding:9px;font:12px/1.45 ui-monospace,monospace}
@media(max-width:700px){.lattice-controls .ode-editor{height:68px;min-height:60px}.lattice-controls .initial-editor{height:58px}}