@media all {
	pre {
		border: 1mm rgb( 0, 61, 133 ) solid;
		padding: 2mm;
		background-color: rgb(192, 192, 192);
		margin-left: 5mm;
		margin-right: 2mm;
	}
}

@media print {
	#header-en {
		display: none;
	}
	#header-bar {
		display: none;
	}
	.hidden {
		display: none;
	}
	#news {
		display: none;
	}
}