<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% --------------------------------------------------------------------------
% North Korea:
% --------------------------------------------------------------------------
\begin{flagdescription}{1/2}
\definecolor{blue}{RGB}{0,61,165}
\definecolor{red}{RGB}{213,0,50}
\hbar{blue}{0.5}{1}
\hbar{white}{0.5}{0.66667}
\hbar{red}{0.5}{0.61111}
\fill[white] (0.3333\flaglength,0.5) circle (0.22222);
\starV{red}{(0.3333\flaglength,0.5)}{0.2153\flagwidth}{0}
\framecode{}
\end{flagdescription}
</pre></body></html>