/* Video */
.article video {
	border-radius: 7px;
	outline-offset: -1px;
	box-shadow: 1px 1px 5px 1px rgba(0, 0, 0, 0.15);
}
@media (max-width: 1000px) {
	.article video {
		width: 100%;
		height: 100%;
	}
}
/* Table of content */
.article .columns.toc {
	padding-left: 15px;
	padding-right: 15px;
}
@media (max-width: 480px) {
	.article .columns.toc div:first-child {
		margin-bottom: 0;
	}
}
/* Badges */
h1 span.jutooltip.tooltip {
	color: #338adb;
	border: 2px solid;
	border-radius: 6px;
	padding: 0px 5px;
	font-size: 12px;
	font-weight: 600;
	vertical-align: middle;
}
/* Padding */
div.padding {
	padding-left: 40px;
	padding-right: 40px;
}
@media (max-width: 480px) {
	div.padding {
		padding-left: 0px;
		padding-right: 0px;
	}
}

/* Highlight round */
div.highlight.article {
	border-radius: 16px;
}