Exporting my colour settings gives a .ini file containing colours encoded as decimal numbers:

Code
[Colors]
GradientEnabled=True
VerticalGradient=False
DefaultGradient=False
GradientCol1=-16777213
GradientCol2=14858125
NullValueColor=15073279
AltRowColor=15073253
CompareColor=13421823
ErrorBkgCol=65535
ErrorTextCol=255
...
Is there a formula or link that explains how to convert between these and RGB? I'd like to be able to synchronise my colour scheme with external editors e.g. Vim, or if I have a colour scheme I'm proud of I'd like to be able to publish it in both Vim and PL/SQL Developer formats.