/* default global font family */
body {
	font-family : 'Noto Sans CJK JP', 'Droid Sans Japanese' , sans-serif;
	font-size: 14pt;
}

input {
	font-size: 20pt;
}

button .old {
	margin: 2mm;
	border-radius: 2mm;
}