/* Footnote styling */
.annie_notes {
	margin: 10px 0;
	padding-top: 10px;
	border-top: 1px solid #ccc;
}

/* Add two tags here, one to override Tippy styles if Tippy is used. */
a.annie_footnoteRef, a.annie_footnoteRef.tippy_link {
	font-size: .85em;
	vertical-align: super;
	border-bottom: none;
	color: blue;
}

.annie_noteHeader {
	font-size: 16px;
	font-weight: bold;
}

/* Highlighter styling */
.annie_hilight_yellow {
	background-color: yellow;
	padding: 0 5px;
}

.annie_hilight_red {
	background-color: red;
	color: white;
	padding: 0 5px;
}

.annie_hilight_green {
	background-color: green;
	color: white;
	padding: 0 5px;
}

.annie_hilight_blue {
	background-color: blue;
	color: white;
	padding: 0 5px;
}

.annie_hilight_yellow_underline {
	border-bottom: 1px solid yellow;
}

.annie_hilight_red_underline {
	border-bottom: 1px solid red;
}

.annie_hilight_green_underline {
	border-bottom: 1px solid green;
}

.annie_hilight_blue_underline {
	border-bottom: 1px solid blue;
}