div.banner {
	flex-wrap: wrap;
	overflow: hidden;
	width: 99vw;
	margin: 10px 0px;
}
div.smallbanner {
	height: 3.5ex;
}
div.bigbanner {
	height: 21.5ex;
}
div.banner * {
	margin: 0px;
}
div.banner p {
	white-space: pre;
}
div.banner br {
	display: block;
}
pre.banner {
	position: relative;
	margin-left: -100px;
	animation-name: slide;
	animation-iteration-count: infinite;
	animation-duration: 2s;
	animation-timing-function: linear;
	animation-direction: normal;
}
pre.banner.pause {
	animation-play-state: paused;
}
pre.banner.reverse {
	animation-direction: reverse;
}
pre.banner.t0_5 {
	animation-duration: 0.5s;
}
pre.banner.t1_0 {
	animation-duration: 1s;
}
pre.banner.t1_5 {
	animation-duration: 1.5s;
}
pre.banner.t2_0 {
	animation-duration: 2s;
}
@keyframes slide {
	from {left:0;}
	to {left:2.4em;}
}