North Korean Malware?

I noticed something interesting browsing through the source of the new DPRK portal site the other day. Specifically, this snippet:

<style>
	p{
	  font-family: '천리마', 'KP CheonRiMa', 'KWP ChonRiMa', 'PRK P Gothic';
	  margin-bottom: 0px;
	}
</style>

I had to Google it, but found the following on a Chinese forum

KP CheonRiMa is a font developed in North Korea. Some further searching lead to the following: