OO-1068 uncommited dev tool beautify

src/main/java/org/olat/core/gui/dev/controller/DevelopmentController.java

@@ -150,7 +150,7 @@ public class DevelopmentController extends BasicController {
 		Component protectedMainPanel = DebugHelper.createDebugProtectedWrapper(mainpanel);
 		
 		devToolLink = LinkFactory.createCustomLink("devTool", "devTool", "", Link.NONTRANSLATED, myContent, this);
-		devToolLink.setIconCSS("o_icon o_icon_dev");
+		devToolLink.setIconCSS("o_icon o_icon_dev o_icon-fw");
 		devToolLink.setCustomEnabledLinkCSS("o_dev hidden-print");
 		devToolLink.setTitle(translate("devTool"));
 		spacesaverController = new ExpColController(ureq, getWindowControl(), false, protectedMainPanel, devToolLink);

src/main/webapp/static/themes/light/modules/_devel.scss

@@ -13,11 +13,14 @@ a.o_dev {
 	position: absolute; 
 	left: 0; top: 0; 
 	z-index:4000; 
-	padding: 3px;
 	background: #f0ad4e;
-	i.o_icon_dev {
-		color: #d9534f;
-	}
+	border: 1px solid #d59645;
+	border-top: none;
+	border-left: none;
+	border-radius: 0 0 4px 0;
+	color: #fff;
+	&:hover {color: #d9534f;}
+	
 }
 /* GUI debug wrapper and info box */
 .o_dev_w {