#result .nonint0 { background-color : #C0C0C0; }
#result .nostr { background-color : #E0E0E0; }
#result .int1 { background-color : #FF7F7F; }
#result .nonint1 { background-color : #FFBFBF; }
#result .int_nonacc1 { background-color : #FF0000; }
#result .domnum1 { color : #FF7F7F; }
#result .int2 { background-color : #7FBFDF; }
#result .nonint2 { background-color : #BFDFEF; }
#result .int_nonacc2 { background-color : #0080C0; }
#result .domnum2 { color : #7FBFDF; }
#result .int3 { background-color : #FF7FFF; }
#result .nonint3 { background-color : #FFBFFF; }
#result .int_nonacc3 { background-color : #FF00FF; }
#result .domnum3 { color : #FF7FFF; }
#result .int4 { background-color : #9F9FFF; }
#result .nonint4 { background-color : #CFCFFF; }
#result .int_nonacc4 { background-color : #4040FF; }
#result .domnum4 { color : #9F9FFF; }
#result .int5 { background-color : #FFBF7F; }
#result .nonint5 { background-color : #FFDFBF; }
#result .int_nonacc5 { background-color : #FF8000; }
#result .domnum5 { color : #FFBF7F; }
#result .int6 { background-color : #BFDF7F; }
#result .nonint6 { background-color : #DFEFBF; }
#result .int_nonacc6 { background-color : #80C000; }
#result .domnum6 { color : #BFDF7F; }
#result .int7 { background-color : #DFBFDF; }
#result .nonint7 { background-color : #EFDFEF; }
#result .int_nonacc7 { background-color : #C080C0; }
#result .domnum7 { color : #DFBFDF; }
#result .int8 { background-color : #7FFFBF; }
#result .nonint8 { background-color : #BFFFDF; }
#result .int_nonacc8 { background-color : #00FF80; }
#result .domnum8 { color : #7FFFBF; }
#result .int9 { background-color : #BF7FFF; }
#result .nonint9 { background-color : #DFBFFF; }
#result .int_nonacc9 { background-color : #8000FF; }
#result .domnum9 { color : #BF7FFF; }
#result .int10 { background-color : #7FDF7F; }
#result .nonint10 { background-color : #BFEFBF; }
#result .int_nonacc10 { background-color : #00C000; }
#result .domnum10 { color : #7FDF7F; }
#result button.download1 { background-color : #FFBFBF;
border-color: #FFBFBF }
#result button.download2 { background-color : #BFDFEF;
border-color: #BFDFEF }