口袋自动工具补丁

允许工具智能切换和自动工具交换从口袋中使用工具。

.detail-panel[hidden] { display: block !important; } .detail-tabs { display: none; } /* These three panels are rendered by the browser. */ [data-versions], [data-changelog-panel], [data-comments] { display: none; }