.list-group-horizontal .list-group-item
{
	display: inline-block;
	margin-bottom: 0;
	margin-left: -3px;
	margin-right: 0;
 	border-right-width: 0;
        padding: 2px 6px;
}
.list-group-horizontal .list-group-item:first-child
{
	border-top-right-radius:0;
	border-bottom-left-radius:2px;
}
.list-group-horizontal .list-group-item:last-child
{
	border-top-right-radius:2px;
	border-bottom-left-radius:0;
	border-right-width: 1px;
}
.logo-text
{
        font-family: consolas;
}
.green-text
{
        color: #78B551;
        font-weight: bold;
}
.green-braces
{
        color: #78B551;
        font-size: 110%;
}
.nav>li>a
{
	padding: 10px 10px;
}

/* Language picker (flag dropdown, top navbar) - see base.html near the
   user-menu dropdown. To add a new language: add a .tr-lang-flag-<code>
   rule here matching the LANGUAGES entry in settings.dist.py. */
.tr-lang-flag
{
	font-size: 14px;
	margin-right: 2px;
}
.tr-lang-flag-en::before { content: "\1F1EC\1F1E7"; }
.tr-lang-flag-it::before { content: "\1F1EE\1F1F9"; }
.tr-lang-flag-es::before { content: "\1F1EA\1F1F8"; }

.dropdown-lang
{
	min-width: 160px;
}
.tr-lang-form
{
	margin: 0;
}
.tr-lang-option
{
	display: flex;
	align-items: center;
	width: 100%;
	padding: 3px 20px;
	border: none;
	background: none;
	text-align: left;
	font-size: 13px;
	line-height: 1.42857143;
	color: #333;
}
.tr-lang-option:hover
{
	background-color: #f5f5f5;
}
.tr-lang-option-active
{
	font-weight: bold;
}