@import url(./default.css);
@charset (utf-8);
* {
	margin : 0;
	padding : 0;
}
ul {
	margin : 1em 0;
}
div#antennatitle {
	padding : 100px 8% 20px 8%;
	background-image : url(./image/pl9bg1.gif);
	background-repeat : repeat-x;
}

div#antennatitle p {
	font-size : 80%;
}
div#content p {
	margin-right : 1em;
}
div#content {
	margin : 2em 20% 2em 8%;
}
div#content ul {
	margin-left : 40px;
}
div#menu {
	width : 12%;
	position : absolute;
	top : 100px;
	right : 5%;
	font-size : 90%;
}
div#menu ul {
	margin : 0;
	padding : 0;
}

span.time {
	margin-right: 0.2em;
	font-family : monospace;
}

span.remote {
	margin-right: 0.5em;
	font-family : monospace;
}

cite {
	margin-left: 1em;
}