src/content/platform.css

#floating-col-right-platform {
   /*float:right;*/
   width:260px;
   padding: 0px 0px 20px 0px;
   margin:0px;
}

.platform-ul {
   margin-left:20px;
   padding-left:0px;
}

.platform-banner {
   background-image: url('https://netbeans.org/images_www/v6/products-top-bg.gif');
   background-repeat:no-repeat;
   height:57px;
   background-position:right;
}

.platform-banner-bg {
   background-image: url('https://netbeans.org/images_www/v6/products-top-bg-repetable.gif');
   background-repeat:repeat-x;
   height:57px;
   background-position:center center;
   margin:0px 1px 0px 1px;
}

.platform-banner-link {
   padding:20px 25px 0px 0px;
   float:right;
}

.platform-banner h1 {
   font-size:1.8em;
   color:0e1b55;
   padding:25px 0px 0px 15px;
}

.green {
   color: #5fa1a6;
   margin:0px 7px 0px 7px;
}

#cyclenav a { border: 1px solid #ccc; background: white; text-decoration: none; margin: 0 5px; padding: 5 8px;  }
#cyclenav a.activeSlide { background: #dddddd }
#cyclenav a:focus { outline: none; }
#cyclenav {margin:0px 0px 20px 20px;}
.pics { height: 170px; padding:0px; margin:0px; overflow: hidden }
#products-platform-navig {
	position:fixed;
}