mirror of
https://github.com/google/blockly.git
synced 2026-06-16 16:15:14 +02:00
fcdb8fc33d
Merge the CSS so that both comment types (block and workspace) are the same -- other than a border.