/* ws-panel.css — style cho panel trái của khung workspace ".ws".
   (2026-09-10) ĐÃ GỠ khối "ghim / bỏ ghim panel trái": nút ghim .ws-panel-pin, nút hiện lại
   .ws-panel-reveal, chế độ panel NỔI (.ws-left-unpinned/.ws-left-floating) và thanh kéo rộng
   riêng .ws-panel-resize. Panel trái nay LUÔN hiện cố định; đổi bề rộng bằng thanh kéo split
   dùng chung (SplitMove, xem ws-split.js). Đừng thêm lại nút ghim vào các màn. */

/* Giữ mốc định vị cho phần tử con đặt absolute bên trong panel trái. */
.ws-body > .ws-left { position: relative; }