@CHARSET "UTF-8";

#content {
	padding-right: 230px;	
}

#ds-options {
	margin-right: -230px; /* definindo 150px de largura para as divs #menu e #lateral */
	padding: 10px 10px 10px 0px; /* definindo 10px de padding para as divs #menu e #lateral */
	float: right; /* definindo que o menu fique colado à esquerda dentro do div #geral */
}

html>body #ds-options { width: 200px; } /* hack para q o FF, Opera, etc deixem o tamanho correto do layout, pois não colocando ele adicionaria + 20px aos 150px das divs, totalizando 170px, que iria bagunçar o layout */

ul#aspect_artifactbrowser_CommunityBrowser_list_comunity-browser li {
width:16.63%;
}