--- /dev/null
+.highlight_0 {
+ color: #000;
+ background-color: rgb(255, 255, 102);
+ line-height : 1.2em;
+ font-size : 1.1em;
+ font-style : italic;
+ font-weight : bold;
+}
+
+.highlight_1 {
+ color: #000;
+ background-color: rgb(160, 255, 255);
+ line-height : 1.2em;
+ font-size : 1.1em;
+ font-style : italic;
+ font-weight : bold;
+}
+
+.highlight_2 {
+ color: #000;
+ background-color: rgb(153, 255, 153);
+ line-height : 1.2em;
+ font-size : 1.1em;
+ font-style : italic;
+ font-weight : bold;
+}
+
+.highlight_3 {
+ color: #000;
+ background-color: rgb(255, 153, 153);
+ line-height : 1.2em;
+ font-size : 1.1em;
+ font-style : italic;
+ font-weight : bold;
+}
+
+.highlight_4 {
+ color: #000;
+ background-color: rgb(255, 102, 255);
+ line-height : 1.2em;
+ font-size : 1.1em;
+ font-style : italic;
+ font-weight : bold;
+}
+
+.highlight_5 {
+ color: #fff;
+ background-color: rgb(136, 0, 0);
+ line-height : 1.2em;
+ font-size : 1.1em;
+ font-style : italic;
+ font-weight : bold;
+}
+
+.highlight_6 {
+ color: #fff;
+ background-color: rgb(0, 170, 0);
+ line-height : 1.2em;
+ font-size : 1.1em;
+ font-style : italic;
+ font-weight : bold;
+}
+
+.highlight_7 {
+ color: #fff;
+ background-color: rgb(136, 104, 0);
+ line-height : 1.2em;
+ font-size : 1.1em;
+ font-style : italic;
+ font-weight : bold;
+}
+
+.highlight_8 {
+ color: #fff;
+ background-color: rgb(0, 70, 153);
+ line-height : 1.2em;
+ font-size : 1.1em;
+ font-style : italic;
+ font-weight : bold;
+}
+
+.highlight_9 {
+ color: #fff;
+ background-color: rgb(153, 0, 153);
+ line-height : 1.2em;
+ font-size : 1.1em;
+ font-style : italic;
+ font-weight : bold;
+}