/*--------------
    username
--------------*/

#custom-user {
	padding-right: 12px;
}

/*----------------
    workspaces
----------------*/

#custom-left_div.1,
#custom-right_div.1 {
	color: @workspaces;
}
#workspaces {
	padding: 0 1px;
	background-color: @workspaces;
}

#workspaces button {
	/*content: "c";*/
}

/*------------------
    window title
------------------*/

#window {
	margin-left: 12px;
}

#window label {
	font-size: 14px;
	color: #888;
}
