* {
	font-size: 12px;
}

.num {
	color: #0000FF;
}
.hit {

	color: #FF0000;
}
.log{
	color: #666666;
}
body {
	background-color: #DDFFFF;
}
.navigator {
	padding: 10px;
	border-top: none #00CCFF;
	border-right: none #00CCFF;
	border-bottom: double #00CCFF;
	border-left: double #00CCFF;
}

.footer{
        padding: 10px;
        border-top: double #00CCFF;
        border-right: none #00CCFF;
        border-bottom: none #00CCFF;
        border-left: double #00CCFF;
}

h1 {
	font-size: 1.5em;
}
h2 {
	font-size: 1.3em;
}
h3 {
	font-size: 1.1em;
}
.memoLink{
	text-decoration: none;
}