/* Currently not used
div.flex-container p {
    width: 80%;
    font-size: 1rem;
	line-height: 25px;
	margin: 1rem auto 1rem auto;
	text-align: center;
	padding: 1rem;
	border: 1px solid red;
}
*/

div.flex-container ul {
/*	list-style-position: inside; */ /* doesn't look that good when each list item is multi-line */
	list-style: none;
	font-size: 1rem;
	width: 95%;
    margin: 0 1rem 0 1rem;
}
div.flex-container ul li::marker {
/* div.flex-container ul li:before { */
	content: '>> '  ;
/*	content: "\f0e7"; */ /* doesn't work */
	font-size: 1rem;
	color: red;
/*	background: hsl(200 20% 88%); */
/*	animation: color-change 3s ease-in-out infinite; */
}
div.flex-container li {
	width: 85%;
    margin: 1rem 0 1rem 1rem;
}
div.flex-container ul > li.bottom-margin {
    margin-bottom: 2.5rem;
}
div.downloads-info {
	width: 100%;
}



h3.bold {
	text-align: center;
	margin: 2rem auto;
}