Chun-Huai Cheng 25dd6b2586 Added margin to the close button. há 10 anos atrás
..
css 00f3395f72 Added a css file há 10 anos atrás
js 25dd6b2586 Added margin to the close button. há 10 anos atrás
templates ffe1fe29bc Modified UI for showing panels and moving it to the top when its corresponding sidebar TOC item is clicked. há 10 anos atrás