@import 'default.css';

#mantis {
	padding-top: 90px;
}
#banner {
	position: absolute;
	left: 0;
	right: 0;
	top: 0;
	height: 75px;
	background-color: #f5f5f5;
	text-align: center;
	padding-top: 10px;
}
#banner .logo {
	vertical-align: middle;
	margin-right: 30px;
}
#banner .pagetitle {
	font-size: 20pt;
}

.main-menu {
	display: table-row;
}
.main-menu ul#menu-items, .main-menu div#bug-jump {
	float: none;
	display: table-cell;
}
@media ( min-width : 1024px) {
	.bug-jump-form {
		white-space: nowrap;
	}
}

/* Hack pour que les boutons d'actions d'une demande passent à la ligne si la fenêtre est trop petite */
tr.details-buttons {
	display: block;
}
tr.details-buttons td {
	display: inline-block;
}