.Banner {
  padding: 0;
}

.Banner {
  line-height: 40px;
}

.Banner .Banner-Logo {
  display: inline;
  float: left;
}

.Banner .Banner-Title,
.Banner-Actions {
  line-height: 40px;
  vertical-align: middle;
}

.Banner .Banner-Title {
  display: inline;
        float: left;
  font-size: 18px;
        font-weight: normal;
        margin: 0;
}

.Banner .Banner-Title {
  margin-left: 11px;
}

.Banner .Banner-Actions {
  margin-right: 11px;
}

.dj_ie .Banner .Banner-Title {
        font-size: 18px !important;
}

.Banner .Banner-Actions {
        display: inline;
  float: right;
}

.Banner-welcomeLabel,  .Banner-Actions-ActionItem {
        font-size: 11px !important;
        margin-left: 0.5em;
        margin-right: 0.5em;
}

.Banner .Banner-Actions a {
	text-decoration:none;
}

/* TODO: doesn't this cause problems on IE? */
.Banner .Banner-Actions a:hover {
  text-decoration: underline;
}

.Banner .ThemeSelectorItem {
        margin: 1px 2px;
	padding: 1px;
	width: 10px;
	height: 10px;
	cursor: pointer;
	border: 0px solid black;
}

.dj_gecko .Banner .ThemeSelectorItem {
        margin: 1px;
}

.Banner .ThemeSelectorItem-selected {
	margin: 0px;
	border-width: 1px;
}