Fixed bug in image sizes.
-rw-r--r-- 156 bl.png
-rw-r--r-- 134 bottom.png
-rw-r--r-- 149 br.png
-rw-r--r-- 1003 btbg.png
-rw-r--r-- 526 close.png
-rw-r--r-- 542 close_active.png
-rw-r--r-- 131 left.png
-rw-r--r-- 476 max.png
-rw-r--r-- 470 max_active.png
-rw-r--r-- 415 menu.png
-rw-r--r-- 530 menu_active.png
-rw-r--r-- 434 menubg.png
-rw-r--r-- 492 min.png
-rw-r--r-- 445 min_active.png
-rw-r--r-- 131 right.png
-rw-r--r-- 7822 theme.jl
-rw-r--r-- 227 title.png