! special *.foreground: #ffffff *.background: #393f53 *.cursorColor: #ffffff ! black *.color0: #000000 *.color8: #555753 ! red *.color1: #cc0000 *.color9: #ef2929 ! green *.color2: #4e9a06 *.color10: #8ae234 ! yellow *.color3: #c4a000 *.color11: #fce94f ! blue *.color4: #3465a4 *.color12: #729fcf ! magenta *.color5: #75507b *.color13: #ad7fa8 ! cyan *.color6: #06989a *.color14: #34e2e2 ! white *.color7: #d3d7cf *.color15: #eeeeec