(Apparently it's non-trivial to get dvips to use a given resolution. I would have preferred to use 1600 dpi, but dvips didn't already have a "printer" at that resolution. ljfzzz, at 1200, was the best I could find.)
I, the copyright holder of this work, hereby publish it under the following licenses:
Gefið er leyfi til að afrita, dreifa og/eða breyta þessu skjali samkvæmt Frjálsa GNU Free Documentation License, útgáfu 1.2 eða nýrri, sem gefið er út af Frjálsu hugbúnaðarstofnuninni með engum breytingum þar á. Afrit af leyfinu er innifalið í kaflanum GNU Free Documentation License.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue
tilvísun höfundarréttar – Þú verður að tilgreina viðurkenningu á höfundarréttindum, gefa upp tengil á notkunarleyfið og gefa til kynna ef breytingar hafa verið gerðar. Þú getur gert þetta á einhvern ásættanlegan máta, en ekki á nokkurn þann hátt sem bendi til þess að leyfisveitandinn styðji þig eða notkun þína á verkinu.
Deila eins – Ef þú breytir, yfirfærir eða byggir á þessu efni, þá mátt þú eingöngu dreifa því verki með sama eða svipuðu leyfi og upprunalega verkið er með.
This licensing tag was added to this file as part of the GFDL licensing update.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue
tilvísun höfundarréttar – Þú verður að tilgreina viðurkenningu á höfundarréttindum, gefa upp tengil á notkunarleyfið og gefa til kynna ef breytingar hafa verið gerðar. Þú getur gert þetta á einhvern ásættanlegan máta, en ekki á nokkurn þann hátt sem bendi til þess að leyfisveitandinn styðji þig eða notkun þína á verkinu.
Deila eins – Ef þú breytir, yfirfærir eða byggir á þessu efni, þá mátt þú eingöngu dreifa því verki með sama eða svipuðu leyfi og upprunalega verkið er með.
I took the star colors from [1], which indicates they're only approximate. Apparently there are inherent difficulties in representing a star's color on a computer monitor.