body {
	background-image: url("img/bg.gif");
	max-width: 100ch;
}

@keyframes rumble {
	0%, 100% {}
	50% { transform: translateY(-0.2em) }
}

@-webkit-keyframes rumble {
	0%, 100% {}
	50% { -webkit-transform: translateY(-0.2em) }
}

@keyframes shudder {
	0%, 100% {}
	50% { transform: translateX(0.2em) }
}

@-webkit-keyframes shudder {
	0%, 100% {}
	50% { -webkit-transform: translateX(0.2em) }
}

.rumble {
	-webkit-animation: rumble linear 0.1s 0s infinite;
	animation: rumble linear 0.1s 0s infinite;
	display:inline-block;
}

.shudder {
	-webkit-animation: shudder linear 0.1s 0s infinite;
	animation: shudder linear 0.1s 0s infinite;
	display:inline-block;
}

@font-face {
	font-family: solaris;
	src: url("ttf/gallant12x22.ttf");
}

pre.openboot {
	background-color: white;
	border: solid;
	border-width: 5px;
	font-family: solaris, monospace;
}