.ivprog-container {
	-webkit-box-shadow: 0px 0px 31px -5px rgba(0,0,0,0.75);
-moz-box-shadow: 0px 0px 31px -5px rgba(0,0,0,0.75);
box-shadow: 0px 0px 31px -5px rgba(0,0,0,0.75);
border-radius: 4px;
padding-top: 0.3rem;
}
footer.container {
	margin-top: 1%;
}
.jumbotron.ivprogh-desc {
	padding-top: 0.5rem;
	padding-bottom: 0.5rem;
	margin-bottom: 1rem;
	background-color: #425b84;
	color: white;
}
.text-reduced {
	font-size: 96%;
	margin-bottom: 0.5rem;
}
h1 {
	margin-bottom: 0;
}
.col-md-3.item {
	padding: 1em;
    background: #007bff;
    color: white;
    margin: 1em;
    border-radius: .5em;
    text-align: center;
    border: 1px groove;
    cursor: pointer;
}
.col-md-3.item .octicon {
	font-size: 3em;
}
.col-md-3.item h4 {
	font-size: 1.4em;
	margin-top: 0.6em;
}
.row.thumbs-ivprog {
	margin-top: 1em;
}
.row.thumbs-ivprog-download .item {
	background-color: #5a6570;
	border: 2px groove;
}
.col-md-3.item:hover {
    background-color: #03396c;
}
.col-md-3.item hr {
    background: white;
}
.btn.btn-primary .octicon {
	text-align: center;
	font-size: 1.5em;
	margin-left:
}
.download-ivprog {
    font-size: 1.3em;
}
.div-button {
	text-align: center;
	padding-top: 2.5em;
}
.div-button .span-version {
	display: block;
	font-size: 98%;
}
.my-4 .octicon-history {
	font-size: 1em;
}
.row.thumbs-ivprog-download {
    padding-bottom: 3em;
}

.history-ivprog-version {
	display: block;
	font-size: 1em;
	font-weight: bold;
	margin-top: -.5em;
	margin-bottom: .5em;
}
.history-ivprog-time {
    background-color: gray;
    padding: .4em;
    border-radius: .4em;
}
footer.container {
	margin-bottom: 1em;
}
.example-large-div {
	background-color: #0bbf4a;
	border-radius: .8em;
	margin-top: 0.5em;
}

.example-large-div .container .embed-responsive {
	border-radius: .5em;
	margin-top: 1em;
}

.text-count-example {
	font-size: 1.5em;
    color: white;
    text-shadow: 2px 2px gray;
    font-weight: 600;
    margin-bottom: .3em;
    padding-top: .3em;
    padding-bottom: .2em;
    cursor: pointer;
}
.example-large-div .text-reduced {
	color: #06065a;
    font-size: 1.1em;
    text-indent: 1em;
}
.text-count-example .octicon {
	text-shadow: none;
    font-weight: normal;
    font-size: .9em;
    margin-right: .1em;
}
.container.text-center .btn {
	margin: .5em;
}
.container.example-large-div.autoeval-descript {
	background-color: #538564;
    color: white;
    padding: .2em;
    padding-left: 1em;
    font-size: 1.1em;
    border-radius: .3em;
}
.container.example-large-div.autoeval-descript .pointer {
	cursor:pointer;
}
.container.example-large-div.autoeval-descript span {
	font-size: 1.2em;
	margin-right: .2em;
}
#area-autoeval-descript {
	padding-left: 2em;
    padding-top: 1em;
    padding-right: 2em;
    padding-bottom: 1em;
}
button.btn.btn-primary.show-solution {
	text-align: center;
}
.ivprogh-title-download {
	color: #03396c;
}
.ivprogh-title-download .octicon {
	font-size: 1em;
}
.table.about-auto-eval {
	border: 2px solid white;
}
.box-download {
	background: #efefef;
    border-radius: .5em;
}
.distinct-container {
	margin-top: 2em;
	margin-bottom: 2em;
}
.zoom-images {
	width: 10em;
	cursor: zoom-in;
	height: 5.5em !important;
}
input[type="radio"]{
	margin: 0 20px 0 10px
}
