/* SOURCES STYLES */
/* The block element of sources */
.artsources {
	width: 90%;
	border-radius: 6px;
	border: 1px solid #CCCCCC;
	background-color: #f5f5f5;
	margin-left: 5%;
	margin-right: 5%;
	padding: 6px;
	clear: left;
}
/* Indent & styling for article source title */
.artsourcestitle {
	font-weight: bold;
	margin-left: 32px;
}
/* The small flags used in sources, also aligns link middle */
.artsourcesflag {
	vertical-align: middle;
	padding-right: 6px;
}
/* TIPBOX STYLES */
/* A paragraph of text with a "tips" box floating right */
.tipbox {
	width: 35%;
	float: right;
	border-radius: 6px;
	border: 1px solid #CCCCCC;
	background-color: #ecffdb;
	margin: 6px 5% 12px 12px;
	padding-left: 12px;
    font-size:10px;
}
/* Adding margins inside the tablecell */
.tipboxtext {
	padding: 0px 12px 12px 12px;
}
/* Underlined title in different font */
.tipboxtitle {
	font-family: 'Gloria Hallelujah', cursive;
	text-decoration: underline;
}