CLIPPING_WORKSPACE = html`<svg height=${h} width=${w}>
<defs>
<clipPath id="clip">
<rect x=${m} y=${m} height=${h - 2 * m} width=${w - 2 * m} fill=black>
</clipPath>
</defs>
<line x1=${0} x2=${w}
y1=0 y2="${h}" clip-path="url(#clip)" stroke-width=20 stroke="black" />
${svg`<path d="m${m} ${m}h${w - 2 * m} v${h - 2 * m} h${-w +
2 * m}z" fill="white" opacity=0.2 stroke=black stroke-width=10></path>`}
</svg>`