From 23671c7b1899c8220020b49cdf41621598467d9a Mon Sep 17 00:00:00 2001
From: Paulo Reis <paulojreis@gmail.com>
Date: Mon, 26 Sep 2016 15:03:04 +0100
Subject: [PATCH] Label styling.

---
 .../stylesheets/app/editor/toolbar.less       | 23 +++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/services/web/public/stylesheets/app/editor/toolbar.less b/services/web/public/stylesheets/app/editor/toolbar.less
index f83135972f..a05747a37a 100644
--- a/services/web/public/stylesheets/app/editor/toolbar.less
+++ b/services/web/public/stylesheets/app/editor/toolbar.less
@@ -130,6 +130,29 @@
 	}
 }
 
+.toolbar.toolbar-with-labels {
+	height: 50px;
+
+	.btn-full-height {
+		padding: 0 10px;
+	}
+
+	& ~ #ide-body {
+		top: 50px;
+	}
+
+	.project-name .name {
+		padding: 12px;
+	}
+}
+
+.toolbar-label {
+	margin: 0;
+	font-size: 0.6em;
+	font-weight: normal;
+	min-width: 35px;
+}
+
 .editor-dark {
 	.toolbar-alt {
 		background-color: darken(@editor-dark-background-color, 0%);