Minimap Header Tweaks

调整 Minimap Header 的大小与位置，并添加若干可见性选项。

地图其他

.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; }

调整 Minimap Header 的大小与位置，并添加若干可见性选项。

评论