1.1 --- a/src/main/java/org/vaadin/console/public/console/styles.css	Mon May 23 13:13:51 2011 +0400
     1.2 +++ b/src/main/java/org/vaadin/console/public/console/styles.css	Tue May 31 15:52:03 2011 +0400
     1.3 @@ -67,4 +67,190 @@
     1.4      color: #222222 !important;
     1.5  }
     1.6  
     1.7 - **/
     1.8 \ No newline at end of file
     1.9 + **/
    1.10 + 
    1.11 + /* Classes for ANSI Escape Sequences */
    1.12 +
    1.13 +.term-text-decoration-blink {
    1.14 +	text-decoration: blink;
    1.15 +}
    1.16 +
    1.17 +.term-text-decoration-line-through {
    1.18 +	text-decoration: line-through;
    1.19 +}
    1.20 +
    1.21 +.term-text-decoration-overline {
    1.22 +	text-decoration: overline;
    1.23 +}
    1.24 +
    1.25 +.term-text-decoration-underline {
    1.26 +	text-decoration: underline;
    1.27 +}
    1.28 +
    1.29 +.term-text-decoration-none {
    1.30 +	text-decoration: none;
    1.31 +}
    1.32 +
    1.33 +.term-font-style-normal {
    1.34 +	font-style: normal;
    1.35 +}
    1.36 +
    1.37 +.term-font-style-italic {
    1.38 +	font-style: italic;
    1.39 +}
    1.40 +
    1.41 +.term-font-style-oblique {
    1.42 +	font-style: oblique;
    1.43 +}
    1.44 +
    1.45 +.term-font-weight-normal {
    1.46 +	font-weight: normal;
    1.47 +}
    1.48 +
    1.49 +.term-font-weight-bold {
    1.50 +	font-weight: bold;
    1.51 +}
    1.52 +
    1.53 +.term-font-weight-bolder {
    1.54 +	font-weight: bolder;
    1.55 +}
    1.56 +
    1.57 +.term-font-weight-lighter {
    1.58 +	font-weight: lighter;
    1.59 +}
    1.60 +
    1.61 +.term-color-white {
    1.62 +	color: white;
    1.63 +}
    1.64 +
    1.65 +.term-color-silver {
    1.66 +	color: silver;
    1.67 +}
    1.68 +
    1.69 +.term-color-gray {
    1.70 +	color: gray;
    1.71 +}
    1.72 +
    1.73 +.term-color-black {
    1.74 +	color: black;
    1.75 +}
    1.76 +
    1.77 +.term-color-maroon {
    1.78 +	color: maroon;
    1.79 +}
    1.80 +
    1.81 +.term-color-red {
    1.82 +	color: red;
    1.83 +}
    1.84 +
    1.85 +.term-color-orange {
    1.86 +	color: orange;
    1.87 +}
    1.88 +
    1.89 +.term-color-yellow {
    1.90 +	color: yellow;
    1.91 +}
    1.92 +
    1.93 +.term-color-olive {
    1.94 +	color: olive;
    1.95 +}
    1.96 +
    1.97 +.term-color-lime {
    1.98 +	color: lime;
    1.99 +}
   1.100 +
   1.101 +.term-color-green {
   1.102 +	color: green;
   1.103 +}
   1.104 +
   1.105 +.term-color-aqua {
   1.106 +	color: aqua;
   1.107 +}
   1.108 +
   1.109 +.term-color-blue {
   1.110 +	color: blue;
   1.111 +}
   1.112 +
   1.113 +.term-color-navy {
   1.114 +	color: navy;
   1.115 +}
   1.116 +
   1.117 +.term-color-teal {
   1.118 +	color: teal;
   1.119 +}
   1.120 +
   1.121 +.term-color-fuchsia {
   1.122 +	color: fuchsia;
   1.123 +}
   1.124 +
   1.125 +.term-color-purple {
   1.126 +	color: purple;
   1.127 +}
   1.128 +
   1.129 +.term-background-color-white {
   1.130 +	background-color: white;
   1.131 +}
   1.132 +
   1.133 +.term-background-color-silver {
   1.134 +	background-color: silver;
   1.135 +}
   1.136 +
   1.137 +.term-background-color-gray {
   1.138 +	background-color: gray;
   1.139 +}
   1.140 +
   1.141 +.term-background-color-black {
   1.142 +	background-color: black;
   1.143 +}
   1.144 +
   1.145 +.term-background-color-maroon {
   1.146 +	background-color: maroon;
   1.147 +}
   1.148 +
   1.149 +.term-background-color-red {
   1.150 +	background-color: red;
   1.151 +}
   1.152 +
   1.153 +.term-background-color-orange {
   1.154 +	background-color: orange;
   1.155 +}
   1.156 +
   1.157 +.term-background-color-yellow {
   1.158 +	background-color: yellow;
   1.159 +}
   1.160 +
   1.161 +.term-background-color-olive {
   1.162 +	background-color: olive;
   1.163 +}
   1.164 +
   1.165 +.term-background-color-lime {
   1.166 +	background-color: lime;
   1.167 +}
   1.168 +
   1.169 +.term-background-color-green {
   1.170 +	background-color: green;
   1.171 +}
   1.172 +
   1.173 +.term-background-color-aqua {
   1.174 +	background-color: aqua;
   1.175 +}
   1.176 +
   1.177 +.term-background-color-blue {
   1.178 +	background-color: blue;
   1.179 +}
   1.180 +
   1.181 +.term-background-color-navy {
   1.182 +	background-color: navy;
   1.183 +}
   1.184 +
   1.185 +.term-background-color-teal {
   1.186 +	background-color: teal;
   1.187 +}
   1.188 +
   1.189 +.term-background-color-fuchsia {
   1.190 +	background-color: fuchsia;
   1.191 +}
   1.192 +
   1.193 +.term-background-color-purple {
   1.194 +	background-color: purple;
   1.195 +}