.navbar {
/* Este está para compatibilidad con el resto de los sitios de GrULiC.
 * Cada Webmaster podría adaptar esto en sus propios stylesheets si
 * quisiera cambiar la gama de colores de su sitio.*/
	background-color: #e8f0ff;
	border-top: 1px #93b3bc solid;
	border-bottom: 1px #93b3bc solid;
}

#project-bar {
	font-size: 90%;
	text-align: left;
	margin: 0;
	padding: 0 1ex;
}

#project-bar a {
	text-decoration: none;
}

#project-bar dt, #project-bar dd {
/* Los definition titles y definitions son elementos de bloque por
 * defecto. Con esto los ponemos en fila.*/
	display: inline;
	margin: 0;
}

#project-bar dt {
	color: #336699;
	font-weight: bold;
	padding-right: .5ex;
}

#project-bar dd {
	padding-left: .5ex;
}