Remove style that makes some textareas too big on github.

WebsByTodd · WebsByTodd · commit 9cef603975f0 · 2025-09-16T16:50:06.000-04:00
diff --git a/packages/overtype b/packages/overtype
@@ -1 +1 @@
-Subproject commit 80caa5d1a0139171e3e250c9c9e25bd63a67d331
+Subproject commit 35cb82382c6f2d4352e4608f3e437ff5c3bcd032
