/[mldonkey]/mldonkey/src/daemon/common/commonMessages.ml
ViewVC logotype

Diff of /mldonkey/src/daemon/common/commonMessages.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.36 by spiralvoice, Sun Aug 21 19:37:05 2005 UTC revision 1.37 by spiralvoice, Sun Aug 28 12:18:30 2005 UTC
# Line 47  let html_css_mods0 = define_option messa Line 47  let html_css_mods0 = define_option messa
47      string_option      string_option
48  "  "
49  body {  body {
50  background: @C0@; margin-top: 3px; margin-left: 5px; margin-right: 5px;  background: @color_background@; margin-top: 3px; margin-left: 5px; margin-right: 5px;
51  font-family: Verdana, sans-serif; font-size: 12px;  font-family: Verdana, sans-serif; font-size: 12px;
52  scrollbar-face-color: @C1@; scrollbar-shadow-color: @C1@;  scrollbar-face-color: @color_scrollbar_face@; scrollbar-shadow-color: @color_scrollbar_face@;
53  scrollbar-highlight-color: @C3@; scrollbar-3dlight-color: @C34@;  scrollbar-highlight-color: @color_scrollbar_highlight@; scrollbar-3dlight-color: @color_some_scrollbar@;
54  scrollbar-darkshadow-color: @C34@; scrollbar-track-color: @C0@;  scrollbar-darkshadow-color: @color_some_scrollbar@; scrollbar-track-color: @color_background@;
55  scrollbar-arrow-color: @C34@; }  scrollbar-arrow-color: @color_some_scrollbar@; }
56  table.commands { border: @C27@ solid 1px; background: @C0@ }  table.commands { border: @color_general_border@ solid 1px; background: @color_background@ }
57  table.topcommands { background: @C0@; border: @C27@ solid 1px; border-top: @C3@ solid 1px; border-left: @C3@ solid 1px; }  table.topcommands { background: @color_background@; border: @color_general_border@ solid 1px; border-top: @color_scrollbar_highlight@ solid 1px; border-left: @color_scrollbar_highlight@ solid 1px; }
58  pre { color: @C26@; font-family: Courier, Arial, Helvetica, sans-serif; font-size: 12px; }  pre { color: @color_general_text@; font-family: Courier, Arial, Helvetica, sans-serif; font-size: 12px; }
59  p { color: @C26@; font-family: Verdana, Courier, Arial, Helvetica, sans-serif; font-size: 12px; }  p { color: @color_general_text@; font-family: Verdana, Courier, Arial, Helvetica, sans-serif; font-size: 12px; }
60  input.txt { background: @C6@ }  input.txt { background: @color_input_text@ }
61  input.txt2 { background: @C11@;  input.txt2 { background: @color_bbig_background@;
62  font: 12px courier; padding: 0px;  font: 12px courier; padding: 0px;
63  width: 38px; height: 18px; line-height: 14px; color: @C26@;  width: 38px; height: 18px; line-height: 14px; color: @color_general_text@;
64  border-right: @C35@ 2px solid; border-top: @C27@ 1px solid; border-left: @C27@ 1px solid; border-bottom: @C35@ 2px solid; }  border-right: @color_some_border@ 2px solid; border-top: @color_general_border@ 1px solid; border-left: @color_general_border@ 1px solid; border-bottom: @color_some_border@ 2px solid; }
65  input.but2 { background: @C14@;  input.but2 { background: @color_bsmall3@;
66  border: 0px; padding: 0px; font: bold 10px verdana;  border: 0px; padding: 0px; font: bold 10px verdana;
67  width: 36px; height: 14px; }  width: 36px; height: 14px; }
68  input.but { background: @C7@ };  input.but { background: @color_input_button@ };
69    
70  a:link,a:active,a:visited { text-decoration: none; font-face: verdana;  a:link,a:active,a:visited { text-decoration: none; font-face: verdana;
71  font-size: 10px; color: @C28@; }  font-size: 10px; color: @color_anchor@; }
72  a:hover { color: @C29@; text-decoration: underline;}  a:hover { color: @color_anchor_hover@; text-decoration: underline;}
73  .bu {  .bu {
74  vertical-align: middle; white-space: nowrap;  vertical-align: middle; white-space: nowrap;
75  background: @C8@; color: @C9@;  background: @color_chunk3@; color: @color_foreground_text_for_top_buttons@;
76  font-family: Verdana; font-size: 9px; line-height: 12px;  font-family: Verdana; font-size: 9px; line-height: 12px;
77  margin-top: 0px; margin-bottom: 0px;  margin-top: 0px; margin-bottom: 0px;
78  padding-left: 6px; padding-right: 6px; padding-top: 1px; padding-bottom: 1px;  padding-left: 6px; padding-right: 6px; padding-top: 1px; padding-bottom: 1px;
79  border: @C35@ 0px solid; }  border: @color_some_border@ 0px solid; }
80  .bbig {  .bbig {
81  text-align: center; font-size: 10px; font-family: Verdana; font-weight: 500;  text-align: center; font-size: 10px; font-family: Verdana; font-weight: 500;
82  border-top: @C3@ 1px solid; border-left: @C3@ 1px solid; border-bottom: @C27@ 1px solid; border-right: @C27@ 1px solid;  border-top: @color_scrollbar_highlight@ 1px solid; border-left: @color_scrollbar_highlight@ 1px solid; border-bottom: @color_general_border@ 1px solid; border-right: @color_general_border@ 1px solid;
83  padding-left: 4px; padding-right: 4px; padding-top: 1px; padding-bottom: 1px;  padding-left: 4px; padding-right: 4px; padding-top: 1px; padding-bottom: 1px;
84  color: @C26@; background: @C11@; }  color: @color_general_text@; background: @color_bbig_background@; }
85  .bbigm {  .bbigm {
86  text-align: center; font: bold 10px verdana;  text-align: center; font: bold 10px verdana;
87  border-top: @C3@ 1px solid; border-left: @C3@ 1px solid; border-bottom: @C27@ 1px solid; border-right: @C27@ 1px solid;  border-top: @color_scrollbar_highlight@ 1px solid; border-left: @color_scrollbar_highlight@ 1px solid; border-bottom: @color_general_border@ 1px solid; border-right: @color_general_border@ 1px solid;
88  padding-left: 4px; padding-right: 4px; padding-top: 1px; padding-bottom: 1px;  padding-left: 4px; padding-right: 4px; padding-top: 1px; padding-bottom: 1px;
89  color: @C26@; background: @C14@; }  color: @color_general_text@; background: @color_bsmall3@; }
90  .bsmall { background: @C12@; }  .bsmall { background: @color_bsmall_back@; }
91  .bsmall1 { background: @C11@; }  .bsmall1 { background: @color_bbig_background@; }
92  .bsmall2 { background: @C13@; }  .bsmall2 { background: @color_bsmall2@; }
93  .bsmall3 { background: @C14@; }  .bsmall3 { background: @color_bsmall3@; }
94  .bbig2 { background: @C14@; }  .bbig2 { background: @color_bsmall3@; }
95  .bbig3 { background: @C1@; }  .bbig3 { background: @color_scrollbar_face@; }
96  .b1 { border-left: @C15@ solid 1px; border-top: @C15@ solid 1px; border-right: @C15@ solid 1px; border-bottom: @C15@ solid 1px; }  .b1 { border-left: @color_border_of_top_buttons@ solid 1px; border-top: @color_border_of_top_buttons@ solid 1px; border-right: @color_border_of_top_buttons@ solid 1px; border-bottom: @color_border_of_top_buttons@ solid 1px; }
97  .b2 { border-left: @C15@ solid 0px; border-top: @C15@ solid 1px; border-right: @C15@ solid 1px; border-bottom: @C15@ solid 1px; }  .b2 { border-left: @color_border_of_top_buttons@ solid 0px; border-top: @color_border_of_top_buttons@ solid 1px; border-right: @color_border_of_top_buttons@ solid 1px; border-bottom: @color_border_of_top_buttons@ solid 1px; }
98  .b3 { border-left: @C15@ solid 1px; border-top: @C15@ solid 0px; border-right: @C15@ solid 1px; border-bottom: @C15@ solid 1px; }  .b3 { border-left: @color_border_of_top_buttons@ solid 1px; border-top: @color_border_of_top_buttons@ solid 0px; border-right: @color_border_of_top_buttons@ solid 1px; border-bottom: @color_border_of_top_buttons@ solid 1px; }
99  .b4 { border-left: @C15@ solid 0px; border-top: @C15@ solid 0px; border-right: @C15@ solid 1px; border-bottom: @C15@ solid 1px; }  .b4 { border-left: @color_border_of_top_buttons@ solid 0px; border-top: @color_border_of_top_buttons@ solid 0px; border-right: @color_border_of_top_buttons@ solid 1px; border-bottom: @color_border_of_top_buttons@ solid 1px; }
100  .bb1 { border-left: @C27@ solid 1px; border-top: @C3@ solid 1px; border-right: @C3@ solid 1px; border-bottom: @C27@ solid 1px; }  .bb1 { border-left: @color_general_border@ solid 1px; border-top: @color_scrollbar_highlight@ solid 1px; border-right: @color_scrollbar_highlight@ solid 1px; border-bottom: @color_general_border@ solid 1px; }
101  .bb2 { border-left: @C5@ solid 1px; border-top: @C3@ solid 1px; border-right: @C3@ solid 0px; border-bottom: @C27@ solid 1px; }  .bb2 { border-left: @color_big_buttons_and_border_highlight@ solid 1px; border-top: @color_scrollbar_highlight@ solid 1px; border-right: @color_scrollbar_highlight@ solid 0px; border-bottom: @color_general_border@ solid 1px; }
102  .bb3 { border-left: @C5@ solid 1px; border-top: @C3@ solid 1px; border-right: @C27@ solid 0px; border-bottom: @C27@ solid 0px; }  .bb3 { border-left: @color_big_buttons_and_border_highlight@ solid 1px; border-top: @color_scrollbar_highlight@ solid 1px; border-right: @color_general_border@ solid 0px; border-bottom: @color_general_border@ solid 0px; }
103  .bb4 { border-left: @C5@ solid 1px; border-top: @C3@ solid 1px; border-right: @C27@ solid 1px; border-bottom: @C27@ solid 0px; }  .bb4 { border-left: @color_big_buttons_and_border_highlight@ solid 1px; border-top: @color_scrollbar_highlight@ solid 1px; border-right: @color_general_border@ solid 1px; border-bottom: @color_general_border@ solid 0px; }
104  .src { border-left: @C27@ solid 0px; border-top: @C27@ solid 0px; border-right: @C27@ solid 1px; border-bottom: @C27@ solid 1px; }  .src { border-left: @color_general_border@ solid 0px; border-top: @color_general_border@ solid 0px; border-right: @color_general_border@ solid 1px; border-bottom: @color_general_border@ solid 1px; }
105  .srctd { font-family: Verdana; font-size: 8px; }  .srctd { font-family: Verdana; font-size: 8px; }
106  td.fbig { color: @C26@; cursor: pointer; padding-left: 2px; padding-right: 2px; font-family: Verdana; font-size: 10px; background: @C10@;  td.fbig { color: @color_general_text@; cursor: pointer; padding-left: 2px; padding-right: 2px; font-family: Verdana; font-size: 10px; background: @color_fbig_background@;
107  border-top: @C27@ solid 1px; border-left: @C27@ solid 1px; }  border-top: @color_general_border@ solid 1px; border-left: @color_general_border@ solid 1px; }
108  td.pr { border-right: @C27@ solid 1px; }  td.pr { border-right: @color_general_border@ solid 1px; }
109  td.fbigb { border-top: @C27@ solid 0px; border-bottom: @C27@ solid 1px; }  td.fbigb { border-top: @color_general_border@ solid 0px; border-bottom: @color_general_border@ solid 1px; }
110  td, tr {font-size: 12px; font-face: verdana; }  td, tr {font-size: 12px; font-face: verdana; }
111  td.sr { white-space: nowrap; padding-top: 2px; padding-bottom: 2px; padding-left: 4px; padding-right: 4px; font-family: verdana; font-size: 10px; color: @C26@; }  td.sr { white-space: nowrap; padding-top: 2px; padding-bottom: 2px; padding-left: 4px; padding-right: 4px; font-family: verdana; font-size: 10px; color: @color_general_text@; }
112  td.srp { white-space: nowrap; padding-top: 2px; padding-bottom: 2px; padding-left: 0px; padding-right: 4px; font-family: verdana; font-size: 10px; color: @C36@; }  td.srp { white-space: nowrap; padding-top: 2px; padding-bottom: 2px; padding-left: 0px; padding-right: 4px; font-family: verdana; font-size: 10px; color: @color_one_td_text@; }
113  td.srw { padding-top: 2px; padding-bottom: 2px; padding-left: 4px; padding-right: 4px; font-family: verdana; font-size: 10px; color: @C26@; }  td.srw { padding-top: 2px; padding-bottom: 2px; padding-left: 4px; padding-right: 4px; font-family: verdana; font-size: 10px; color: @color_general_text@; }
114  td.srh { cursor: pointer; vertical-align: top; background: @C16@; white-space: nowrap; padding-top: 2px; padding-bottom: 2px; padding-left: 4px; padding-right: 4px;  td.srh { cursor: pointer; vertical-align: top; background: @color_table_header_background@; white-space: nowrap; padding-top: 2px; padding-bottom: 2px; padding-left: 4px; padding-right: 4px;
115  font-family: verdana; font-size: 10px; color: @C26@;  }  font-family: verdana; font-size: 10px; color: @color_general_text@;  }
116  tr.dl-1, td.dl-1 { background: @C20@; }  tr.dl-1, td.dl-1 { background: @color_dl1_back@; }
117  tr.dl-2, td.dl-2 { background: @C21@; }  tr.dl-2, td.dl-2 { background: @color_dl2_back@; }
118  .mOvr1, tr.mOvr1 {background: @C17@; cursor: pointer; }  .mOvr1, tr.mOvr1 {background: @color_mOver1_back@; cursor: pointer; }
119  .mOvr2, tr.mOvr2 {background: @C18@; cursor: pointer; }  .mOvr2, tr.mOvr2 {background: @color_mOver2_back@; cursor: pointer; }
120  .mOvr3, tr.mOvr3 {background: @C19@; cursor: pointer; }  .mOvr3, tr.mOvr3 {background: @color_mOver3_back@; cursor: pointer; }
121  table.uploaders, table.friends, table.bw_stats, table.vo, table.cs, table.servers,  table.uploaders, table.friends, table.bw_stats, table.vo, table.cs, table.servers,
122  table.shares, table.downloaders, table.scan_temp, table.upstats, table.messages,  table.shares, table.downloaders, table.scan_temp, table.upstats, table.messages,
123  table.shares, table.vc, table.results, table.networkInfo {  table.shares, table.vc, table.results, table.networkInfo {
124   margin-right: auto;   margin-right: auto;
125   margin-left: auto;   margin-left: auto;
126   border: 1;   border: 1;
127   border: @C27@ solid 1px;   border: @color_general_border@ solid 1px;
128   border-collapse: collapse; }   border-collapse: collapse; }
129  table.sourcesInfo, table.serversC { width: 100%; margin-right: auto; margin-left: auto; border: 1; border: @C27@ solid 1px; border-collapse: collapse; }  table.sourcesInfo, table.serversC { width: 100%; margin-right: auto; margin-left: auto; border: 1; border: @color_general_border@ solid 1px; border-collapse: collapse; }
130  table.sources {border: 1; border: @C27@ solid 1px; border-collapse: collapse; }  table.sources {border: 1; border: @color_general_border@ solid 1px; border-collapse: collapse; }
131  table.main { margin-right: auto; margin-left: auto; }  table.main { margin-right: auto; margin-left: auto; }
132  div.main, div.uploaders, div.friends, div.cs, div.shares, div.upstats, div.servers, div.serversC, div.vo,  div.main, div.uploaders, div.friends, div.cs, div.shares, div.upstats, div.servers, div.serversC, div.vo,
133  div.downloaders, div.messages, div.vc, div.bw_stats, div.scan_temp, div.results { text-align: center; }  div.downloaders, div.messages, div.vc, div.bw_stats, div.scan_temp, div.results { text-align: center; }
134  td.srb { padding-top: 1px; padding-bottom: 1px; font-size: 10px; font-family: Verdana; white-space: nowrap; border-right: @C27@ solid 1px; border-bottom: @C27@ solid 1px;  td.srb { padding-top: 1px; padding-bottom: 1px; font-size: 10px; font-family: Verdana; white-space: nowrap; border-right: @color_general_border@ solid 1px; border-bottom: @color_general_border@ solid 1px;
135  border-left: @C27@ solid 1px; border-top: @C27@ solid 0px; padding-left: 3px; padding-right: 3px; }  border-left: @color_general_border@ solid 1px; border-top: @color_general_border@ solid 0px; padding-left: 3px; padding-right: 3px; }
136  td.act { font-size: 10px; font-weight: 700; }  td.act { font-size: 10px; font-weight: 700; }
137  td.br {border-right: @C27@ dotted 1px;}  td.br {border-right: @color_general_border@ dotted 1px;}
138  td.ar {text-align: right;}  td.ar {text-align: right;}
139  td.al {text-align: left;}  td.al {text-align: left;}
140  td.ac {text-align: center;}  td.ac {text-align: center;}
141  .chunk0 { left:0px; top:0px; height:12px; background: @C22@}  .chunk0 { float:left; left:0px; top:0px; height:12px; background: @color_chunk0@}
142  .chunk1 { left:0px; top:0px; height:12px; background: @C23@}  .chunk1 { float:left; left:0px; top:0px; height:12px; background: @color_chunk1@}
143  .chunk2 { left:0px; top:0px; height:12px; background: @C2@}  .chunk2 { float:left; left:0px; top:0px; height:12px; background: @color_chunk2@}
144  .chunk3 { left:0px; top:0px; height:12px; background: @C8@}  .chunk3 { float:left; left:0px; top:0px; height:12px; background: @color_chunk3@}
145  "  "
146    
147  let html_js_mods0 = define_option message_section ["html_js_mods0"]  let html_js_mods0 = define_option message_section ["html_js_mods0"]
# Line 342  let download_html_css_mods0 = define_opt Line 342  let download_html_css_mods0 = define_opt
342    "Download CSS - style 0"    "Download CSS - style 0"
343      string_option      string_option
344  "  "
345  body{ background-color:@C4@;color: @C26@; font-family: Verdana, Arial, Helvetica, sans-serif;font-size: 13px; margin-top: 10px; margin: 2;}  body{ background-color:@color_vd_page_background@;color: @color_general_text@; font-family: Verdana, Arial, Helvetica, sans-serif;font-size: 13px; margin-top: 10px; margin: 2;}
346  td,pre { color: @C26@; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; }  td,pre { color: @color_general_text@; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; }
347  table.downloaders { margin-right: auto; margin-left: auto; border: 1; border: @C27@ solid 1px; }  table.downloaders { margin-right: auto; margin-left: auto; border: 1; border: @color_general_border@ solid 1px; }
348  div.main { text-align: center; }  div.main { text-align: center; }
349  table.main { margin-right: auto; margin-left: auto; }  table.main { margin-right: auto; margin-left: auto; }
350  td.loaded{ padding-top: 0px; padding-bottom: 0px; background-color:@C24@; font-size:1px; line-height: 2px; }  td.loaded{ padding-top: 0px; padding-bottom: 0px; background-color:@color_vd_downloaded@; font-size:1px; line-height: 2px; }
351  td.remain{ padding-top: 0px; padding-bottom: 0px; background-color:@C25@; font-size:1px; line-height: 2px; }  td.remain{ padding-top: 0px; padding-bottom: 0px; background-color:@color_vd_remaining@; font-size:1px; line-height: 2px; }
352  td.downloaded{ font-family: Verdana; font-weight: 500; font-size: 12px; color: @C26@; }  td.downloaded{ font-family: Verdana; font-weight: 500; font-size: 12px; color: @color_general_text@; }
353  td.dl { white-space: nowrap; padding-top: 2px; padding-bottom: 2px; padding-left: 5px; padding-right: 5px; font-family: verdana; font-size: 10px; color: @C26@;  }  td.dl { white-space: nowrap; padding-top: 2px; padding-bottom: 2px; padding-left: 5px; padding-right: 5px; font-family: verdana; font-size: 10px; color: @color_general_text@;  }
354  td.dlheader { cursor: pointer; color: @C26@; font-family: Verdana, serif; font-size: 10px;  td.dlheader { cursor: pointer; color: @color_general_text@; font-family: Verdana, serif; font-size: 10px;
355  border-bottom: solid 1px; background: @C16@; padding-left: 3px;  border-bottom: solid 1px; background: @color_table_header_background@; padding-left: 3px;
356  padding-right: 3px; }  padding-right: 3px; }
357  input.checkbox { background: @C16@; vertical-align: middle; height: 10px; width: 10px; }  input.checkbox { background: @color_table_header_background@; vertical-align: middle; height: 10px; width: 10px; }
358  td.sr { white-space: nowrap; padding-top: 2px; padding-bottom: 2px; padding-left: 5px; padding-right: 5px; font-family: verdana; font-size: 10px; color: @C26@;  }  td.sr { white-space: nowrap; padding-top: 2px; padding-bottom: 2px; padding-left: 5px; padding-right: 5px; font-family: verdana; font-size: 10px; color: @color_general_text@;  }
359  table { cellspacing: 0; cellpadding: 0; }  table { cellspacing: 0; cellpadding: 0; }
360  td.ar { text-align: right; }  td.ar { text-align: right; }
361  td.al { text-align: left; }  td.al { text-align: left; }
362  td.ac { text-align: center; }  td.ac { text-align: center; }
363  td.brs { border-right: @C27@ solid 1px; padding-left: 2px; padding-right: 2px; text-align: center; }  td.brs { border-right: @color_general_border@ solid 1px; padding-left: 2px; padding-right: 2px; text-align: center; }
364  td.np { padding-left: 2px; padding-right: 0px; text-align: center; }  td.np { padding-left: 2px; padding-right: 0px; text-align: center; }
365  td.big { border-top: @C27@ solid 1px; border-left: @C27@ solid 1px; }  td.big { border-top: @color_general_border@ solid 1px; border-left: @color_general_border@ solid 1px; }
366  td.pr { border-right: @C27@ solid 1px; }  td.pr { border-right: @color_general_border@ solid 1px; }
367  .bigbutton { color: @C26@; font-family: Verdana, serif; font-size: 10px; background: @C0@; border: @C0@ solid 1px; cursor: pointer; }  .bigbutton { color: @color_general_text@; font-family: Verdana, serif; font-size: 10px; background: @color_background@; border: @color_background@ solid 1px; cursor: pointer; }
368  .headbutton {  .headbutton {
369   width: 100%; font-family: Verdana, serif; font-size: 10px; border: @C16@ solid 1px; background: @C16@;   width: 100%; font-family: Verdana, serif; font-size: 10px; border: @color_table_header_background@ solid 1px; background: @color_table_header_background@;
370   padding-left: 5px; padding-right: 5px; cursor: pointer; }   padding-left: 5px; padding-right: 5px; cursor: pointer; }
371  tr.dl-1 { background: @C20@; }  tr.dl-1 { background: @color_dl1_back@; }
372  tr.dl-2 { background: @C21@; }  tr.dl-2 { background: @color_dl2_back@; }
373  tr.mOvrDL, .mOvrDL { background: @C17@; cursor: pointer; }  tr.mOvrDL, .mOvrDL { background: @color_mOver1_back@; cursor: pointer; }
374  input { font-family: tahoma; font-size: 10px; }  input { font-family: tahoma; font-size: 10px; }
375  a{ text-decoration: none; font-weight: bold;}  a{ text-decoration: none; font-weight: bold;}
376  a:link,a:active,a:visited { color: @C30@; }  a:link,a:active,a:visited { color: @color_download_anchor@; }
377  a:hover { color: @C31@; text-decoration: underline; }  a:hover { color: @color_download_anchor_hover@; text-decoration: underline; }
378  a.extern:visited,a.extern:hover,a.extern:active { color: @C32@; }  a.extern:visited,a.extern:hover,a.extern:active { color: @color_external_anchor@; }
379  .extern:hover { color: @C33@; }  .extern:hover { color: @color_external_anchor_hover@; }
380  "  "
381    
382  let download_html_js_mods0 = define_option message_section ["download_html_js_mods0"]  let download_html_js_mods0 = define_option message_section ["download_html_js_mods0"]
# Line 811  let bad_number_of_args = _s    "Bad numb Line 811  let bad_number_of_args = _s    "Bad numb
811    
812  (* Colour arrays list for debug and devs  (* Colour arrays list for debug and devs
813    
814    -- Isn't that redundant, hence, probably already out of sync ?
815    
816  Main CSS :  Main CSS :
817    
818  body { background: @C0@;      body { background: @color_background@;    
819  scrollbar-face-color: @C1@; scrollbar-shadow-color: @C1@;  scrollbar-face-color: @color_scrollbar_face@; scrollbar-shadow-color: @color_scrollbar_face@;
820  scrollbar-highlight-color: @C3@; scrollbar-3dlight-color: @C34@;  scrollbar-highlight-color: @color_scrollbar_highlight@; scrollbar-3dlight-color: @color_some_scrollbar@;
821  scrollbar-darkshadow-color: @C34@; scrollbar-track-color: @C0@;  scrollbar-darkshadow-color: @color_some_scrollbar@; scrollbar-track-color: @color_background@;
822  scrollbar-arrow-color: @C34@; }  scrollbar-arrow-color: @color_some_scrollbar@; }
823  table.commands { border: @C27@; background: @C0@;}  table.commands { border: @color_general_border@; background: @color_background@;}
824  table.topcommands { background: @C0@; border: @C27@; border-top: @C3@; border-left: @C3@;}  table.topcommands { background: @color_background@; border: @color_general_border@; border-top: @color_scrollbar_highlight@; border-left: @color_scrollbar_highlight@;}
825  pre { color: @C26@; }  pre { color: @color_general_text@; }
826  p { color: @C26@; }  p { color: @color_general_text@; }
827  input.txt { background: @C6@; }  input.txt { background: @color_input_text@; }
828  input.txt2 { background: @C11@; color: @C26@;  input.txt2 { background: @color_bbig_background@; color: @color_general_text@;
829  border-right: @C35@; border-top: @C27@; border-left: @C27@; border-bottom: @C35@; }  border-right: @color_some_border@; border-top: @color_general_border@; border-left: @color_general_border@; border-bottom: @color_some_border@; }
830  input.but2 { background: @C14@; }  input.but2 { background: @color_bsmall3@; }
831  input.but { background: @C7@; }  input.but { background: @color_input_button@; }
832  a:link,a:active,a:visited { color: @C28@; }  a:link,a:active,a:visited { color: @color_anchor@; }
833  a:hover { color: @C29@; }  a:hover { color: @color_anchor_hover@; }
834  .bu { background: @C8@; color: @C9@; border: @C35@; }  .bu { background: @color_chunk3@; color: @color_foreground_text_for_top_buttons@; border: @color_some_border@; }
835  .bbig { border-top: @C3@;  border-left: @C3@;  border-bottom: @C27@;  border-right: @C27@;  .bbig { border-top: @color_scrollbar_highlight@;  border-left: @color_scrollbar_highlight@;  border-bottom: @color_general_border@;  border-right: @color_general_border@;
836  color: @C26@; background: @C11@; }  color: @color_general_text@; background: @color_bbig_background@; }
837  .bbigm { border-top: @C3@; border-left: @C3@; border-bottom: @C27@; border-right: @C27@;  .bbigm { border-top: @color_scrollbar_highlight@; border-left: @color_scrollbar_highlight@; border-bottom: @color_general_border@; border-right: @color_general_border@;
838  color: @C26@; background: @C14@; }  color: @color_general_text@; background: @color_bsmall3@; }
839  .bsmall { background: @C12@; }  .bsmall { background: @color_bsmall_back@; }
840  .bsmall1 { background: @C11@; }  .bsmall1 { background: @color_bbig_background@; }
841  .bsmall2 { background: @C13@; }  .bsmall2 { background: @color_bsmall2@; }
842  .bsmall3 { background: @C14@; }  .bsmall3 { background: @color_bsmall3@; }
843  .bbig2 { background: @C14@; }  .bbig2 { background: @color_bsmall3@; }
844  .bbig3 { background: @C1@; }  .bbig3 { background: @color_scrollbar_face@; }
845  .b1 { border-left: @C15@; border-top: @C15@; border-right: @C15@; border-bottom: @C15@; }  .b1 { border-left: @color_border_of_top_buttons@; border-top: @color_border_of_top_buttons@; border-right: @color_border_of_top_buttons@; border-bottom: @color_border_of_top_buttons@; }
846  .b2 { border-left: @C15@; border-top: @C15@; border-right: @C15@; border-bottom: @C15@; }  .b2 { border-left: @color_border_of_top_buttons@; border-top: @color_border_of_top_buttons@; border-right: @color_border_of_top_buttons@; border-bottom: @color_border_of_top_buttons@; }
847  .b3 { border-left: @C15@; border-top: @C15@; border-right: @C15@; border-bottom: @C15@; }  .b3 { border-left: @color_border_of_top_buttons@; border-top: @color_border_of_top_buttons@; border-right: @color_border_of_top_buttons@; border-bottom: @color_border_of_top_buttons@; }
848  .b4 { border-left: @C15@; border-top: @C15@; border-right: @C15@; border-bottom: @C15@; }  .b4 { border-left: @color_border_of_top_buttons@; border-top: @color_border_of_top_buttons@; border-right: @color_border_of_top_buttons@; border-bottom: @color_border_of_top_buttons@; }
849  .bb1 { border-left: @C27@; border-top: @C3@; border-right: @C3@; border-bottom: @C27@; }  .bb1 { border-left: @color_general_border@; border-top: @color_scrollbar_highlight@; border-right: @color_scrollbar_highlight@; border-bottom: @color_general_border@; }
850  .bb2 { border-left: @C5@; border-top: @C3@; border-right: @C3@; border-bottom: @C27@; }  .bb2 { border-left: @color_big_buttons_and_border_highlight@; border-top: @color_scrollbar_highlight@; border-right: @color_scrollbar_highlight@; border-bottom: @color_general_border@; }
851  .bb3 { border-left: @C5@; border-top: @C3@; border-right: @C27@; border-bottom: @C27@; }  .bb3 { border-left: @color_big_buttons_and_border_highlight@; border-top: @color_scrollbar_highlight@; border-right: @color_general_border@; border-bottom: @color_general_border@; }
852  .bb4 { border-left: @C5@; border-top: @C3@; border-right: @C27@; border-bottom: @C27@; }  .bb4 { border-left: @color_big_buttons_and_border_highlight@; border-top: @color_scrollbar_highlight@; border-right: @color_general_border@; border-bottom: @color_general_border@; }
853  .src { border-left: @C27@; border-top: @C27@; border-right: @C27@; border-bottom: @C27@; }  .src { border-left: @color_general_border@; border-top: @color_general_border@; border-right: @color_general_border@; border-bottom: @color_general_border@; }
854  td.fbig { background: @C10@; border-top: @C27@; border-left: @C27@; }  td.fbig { background: @color_fbig_background@; border-top: @color_general_border@; border-left: @color_general_border@; }
855  td.pr { border-right: @C27@; }  td.pr { border-right: @color_general_border@; }
856  td.fbigb { border-top: @C27@; border-bottom: @C27@; }  td.fbigb { border-top: @color_general_border@; border-bottom: @color_general_border@; }
857  td.sr { color: @C26@; }  td.sr { color: @color_general_text@; }
858  td.srp { color: @C36@; }  td.srp { color: @color_one_td_text@; }
859  td.srw { color: @C26@; }  td.srw { color: @color_general_text@; }
860  td.srh { vertical-align: top; background: @C16@; color: @C26@; }  td.srh { vertical-align: top; background: @color_table_header_background@; color: @color_general_text@; }
861  tr.dl-1, td.dl-1 { background: @C20@; }  tr.dl-1, td.dl-1 { background: @color_dl1_back@; }
862  tr.dl-2, td.dl-2 { background: @C21@; }  tr.dl-2, td.dl-2 { background: @color_dl2_back@; }
863  .mOvr1, tr.mOvr1 {background: @C17@; }  .mOvr1, tr.mOvr1 {background: @color_mOver1_back@; }
864  .mOvr2, tr.mOvr2 {background: @C18@; }  .mOvr2, tr.mOvr2 {background: @color_mOver2_back@; }
865  .mOvr3, tr.mOvr3 {background: @C19@; }  .mOvr3, tr.mOvr3 {background: @color_mOver3_back@; }
866  table.uploaders, table.friends, table.bw_stats, table.vo, table.cs, table.servers,  table.uploaders, table.friends, table.bw_stats, table.vo, table.cs, table.servers,
867  table.shares, table.downloaders, table.scan_temp, table.upstats, table.messages,  table.shares, table.downloaders, table.scan_temp, table.upstats, table.messages,
868  table.shares, table.vc, table.results, table.networkInfo { border: @C27@; }  table.shares, table.vc, table.results, table.networkInfo { border: @color_general_border@; }
869  table.sourcesInfo, table.serversC { border: @C27@; }  table.sourcesInfo, table.serversC { border: @color_general_border@; }
870  table.sources { border: @C27@;}  table.sources { border: @color_general_border@;}
871  td.srb { border-right: @C27@; border-bottom: @C27@;  td.srb { border-right: @color_general_border@; border-bottom: @color_general_border@;
872  border-left: @C27@; border-top: @C27@; }  border-left: @color_general_border@; border-top: @color_general_border@; }
873  td.br { border-right: @C27@;}  td.br { border-right: @color_general_border@;}
874  .chunk0;{ background: @C22@}  .chunk0;{ background: @color_chunk0@}
875  .chunk1 { background: @C23@}  .chunk1 { background: @color_chunk1@}
876  .chunk2 { background: @C2@}  .chunk2 { background: @color_chunk2@}
877  .chunk3 { background: @C8@}  .chunk3 { background: @color_chunk3@}
878    
879  Download CSS  Download CSS
880  body{ background-color:@C4@; color: @C26@; }  body{ background-color:@color_vd_page_background@; color: @color_general_text@; }
881  td,pre { color: @C26@; }  td,pre { color: @color_general_text@; }
882  table.downloaders { border: @C27@;}  table.downloaders { border: @color_general_border@;}
883  td.loaded{ background-color:@C24@; }  td.loaded{ background-color:@color_vd_downloaded@; }
884  td.remain{ background-color:@C25@; }  td.remain{ background-color:@color_vd_remaining@; }
885  td.downloaded{ color: @C26@;}  td.downloaded{ color: @color_general_text@;}
886  td.dl { color: @C26@;  }  td.dl { color: @color_general_text@;  }
887  td.dlheader { color: @C26@;    td.dlheader { color: @color_general_text@;  
888  border-bottom: ( background: @C16@; }  border-bottom: ( background: @color_table_header_background@; }
889  input.checkbox { background: @C16@; }  input.checkbox { background: @color_table_header_background@; }
890  td.sr { color: @C26@; }  td.sr { color: @color_general_text@; }
891  td.brs { border-right: @C27@; }  td.brs { border-right: @color_general_border@; }
892  td.big { border-top: @C27@;  border-left: @C27@; }  td.big { border-top: @color_general_border@;  border-left: @color_general_border@; }
893  td.pr { border-right: @C27@; }  td.pr { border-right: @color_general_border@; }
894  .bigbutton { background: @C0@; border: @C0@; color: @C26@; }  .bigbutton { background: @color_background@; border: @color_background@; color: @color_general_text@; }
895  .headbutton { border: @C16@; background: @C16@; }  .headbutton { border: @color_table_header_background@; background: @color_table_header_background@; }
896  tr.dl-1 { background: @C20@; }  tr.dl-1 { background: @color_dl1_back@; }
897  tr.dl-2 { background: @C21@; }  tr.dl-2 { background: @color_dl2_back@; }
898  tr.mOvrDL, .mOvrDL { background: @C17@;  }  tr.mOvrDL, .mOvrDL { background: @color_mOver1_back@;  }
899  a:link,a:active,a:visited { color: @C30@; }  a:link,a:active,a:visited { color: @color_download_anchor@; }
900  a:hover { color: @C31@; }  a:hover { color: @color_download_anchor_hover@; }
901  a.extern:visited,a.extern:hover,a.extern:active { color: @C32@; }  a.extern:visited,a.extern:hover,a.extern:active { color: @color_external_anchor@; }
902  .extern:hover { color: @C33@; }  .extern:hover { color: @color_external_anchor_hover@; }
   
 0 - background                       13 - bsmall2 - (options, memstats)  
 1 - scrollbar face                   14 - bsmall3 - (load onet peers)  
 2 - chunk2                           15 - border color of top buttons  
 3 - scrollbar highlight color        16 - table header background  
 4 - vd page background               17 - mOver1 back  
 5 - big buttons, border highlight    18 - mOver2 back  
 6 - input.txt                        19 - mOver3 back  
 7 - input.but                        20 - dl-1 back  
 8 - chunk3                           21 - dl-2 back  
 9 - foreground text for top buttons  22 - chunk0  
 10 - fbig background (tabs)          23 - chunk1  
 11 - bbig background (vma button)    24 - vd downloaded  
 12 - bsmall back (Help!)             25 - vd remaining  
   
 26 - general text  
 27 - general border  
 28 - anchor  
 29 - anchor hover  
 30 - download anchor  
 31 - download hover anchor  
 32 - external anchor  
 33 - external hover anchor  
 34 - some scrollbar  
 35 - some border  
 36 - one td text  
903  *)  *)
904    
905  let ncarr = ref 8  type style_type = {
906  let carr = Array.create !ncarr [||]    style_name: string;
907  let _ = (    color_background: string;
908      (* Default green *)    color_scrollbar_face: string;
909      carr.(0) <- [| "#CBE5CB"; "#94AE94";  "#33F"; "#E5FFE5"; "#B2CCB2";    color_chunk2: string;
910                      "#E5E5E5"; "#BADEBA"; "#A3BDA3"; "#00F"; "#3D3D3D";    color_scrollbar_highlight: string;
911                      "#86BE86"; "#B2CCB2"; "#BCD6BC"; "#A8C2A8"; "#A3BDA3";    color_vd_page_background: string;
912                      "#718B71"; "#90C890"; "#BADEBA"; "#F00"; "#94AE94";    color_big_buttons_and_border_highlight: string;
913                      "#FFF"; "#EEE"; "#F33"; "#1010DC" ; "#72AA72"; "#EEE";    color_input_text: string;
914                      "#000"; "#000"; "#000"; "#000"; "#000"; "#000";    color_input_button: string;
915                      "#000"; "#000099"; "#000"; "FFF"; "#555" |];    color_chunk3: string;
916          (* Orange Tang *)    color_foreground_text_for_top_buttons: string;
917      carr.(1) <- [| "#EEE"; "FF8800";  "FF8800"; "#FAD08F"; "F5F5F5";    color_fbig_background: string; (* (tabs) *)
918                      "#F2C074"; "#FF9900"; "#FF9900"; "#FF7700"; "#FFF";    color_bbig_background: string; (* (vma button) *)
919                      "#FF9D2D"; "#FF8800"; "#FF8800"; "#FF8800"; "#FF8800";    color_bsmall_back: string; (* (help!) *)
920                      "#FF9900"; "#FF8800"; "#FACF8E"; "#FACF8E"; "#FACF8E";    color_bsmall2: string; (* (options, memstats) *)
921                      "#FFF"; "#EEE"; "#DDD"; "#FACD88" ; "#FF9900"; "#EEE";    color_bsmall3: string; (* (load onet peers) *)
922                      "#000"; "#000"; "#000"; "#000"; "#000"; "#000";    color_border_of_top_buttons: string;
923                      "#000"; "#000099"; "#000"; "FFF"; "#555" |];    color_table_header_background: string;
924      (* Light blue *)    color_mOver1_back: string;
925      carr.(2) <- [| "#B3E7FF"; "#7CB1CA";  "#6BE4FF"; "#E6F7FF"; "#9ED3EC";    color_mOver2_back: string;
926                      "#E6F7FF"; "#9BDFFF"; "#8CBFD7"; "#7AF3FF"; "#000";    color_mOver3_back: string;
927                      "#4EBCEF"; "#9BCEE6"; "#A3D8F1"; "#91C4DC"; "#8CBFD7";    color_dl1_back: string;
928                      "#5B8EA6"; "#5CCBFF"; "#BFE5F7"; "#7FBCD9"; "#99D6F2";    color_dl2_back: string;
929                      "#FFF"; "#EEE"; "#4DBCF0"; "#48C1DC"; "#63C3F0"; "#EEE";    color_chunk0: string;
930                      "#000"; "#000"; "#000"; "#000"; "#000"; "#000";    color_chunk1: string;
931                      "#000"; "#000099"; "#000"; "FFF"; "#555" |];    color_vd_downloaded: string;
932      (* Light purple *)    color_vd_remaining: string;
933      carr.(3) <- [| "#CAB2E4"; "#9982B3";  "#C29FE8"; "#E1D7ED"; "#BEA5DA";    color_general_text: string;
934                      "#E6E6E6"; "#BE9EE3"; "#A68FC0"; "#D9B6FF"; "#000";    color_general_border: string;
935                      "#9360CD"; "#B29DCC"; "#BDA5D7"; "#AB94C5"; "#A68FC0";    color_anchor: string;
936                      "#786392"; "#A06ED8"; "#BE9EE3"; "#D9C5F1"; "#C0A2E0";    color_anchor_hover: string;
937                      "#FFF"; "#EEE"; "#9A77C0"; "#AE8BD4"; "#9054D1"; "#EEE";    color_download_anchor: string;
938                      "#000"; "#000"; "#000"; "#000"; "#000"; "#000";    color_download_anchor_hover: string;
939                      "#000"; "#000099"; "#000"; "FFF"; "#555" |];    color_external_anchor: string;
940      (* Monochrome *)    color_external_anchor_hover: string;
941      carr.(4) <- [| "#C8C8C8"; "#878787";  "#5D5D5D"; "#E6E6E6"; "#A8A8A8";    color_some_scrollbar: string;
942                      "#E6E6E6"; "#B3B3B3"; "#999"; "#494949"; "#000";    color_some_border: string;
943                      "#686868"; "#AAA"; "#B6B6B6"; "#9F9F9F"; "#999";    color_one_td_text: string;
944                      "#5E5E5E"; "#7F7F7F"; "#C1C1C1"; "#DFBDBD"; "#A4A4A4";    frame_height: int
945                      "#FFF"; "#EEE"; "#989898"; "#6C6C6C"; "#424242"; "#EEE";  }
946                      "#000"; "#000"; "#000"; "#000"; "#000"; "#000";  
947                      "#000"; "#000099"; "#000"; "FFF"; "#555" |];  let dummy_style = {
948      (* Corona *)    style_name = "Dummy";
949      carr.(5) <- [| "#C1CADE"; "#8195D6";  "#BCCADC"; "#FFF"; "#B7C0D4";    color_background = "#000";
950                      "#FFF"; "#FFF"; "#6B80BF"; "#B2C0D2"; "#000";    color_scrollbar_face = "#000";
951                      "#778BCC"; "#95A9EA"; "#9AAEEF"; "#90A4E5"; "#869FE0";    color_chunk2 = "#000";
952                      "#364A8B"; "#687CBD"; "#6578BB"; "#CF82C5"; "#8195D6";    color_scrollbar_highlight = "#000";
953                      "#FFF"; "#EEE"; "#5668AB"; "#C1CFE1"; "#6476B9"; "#EEE";    color_vd_page_background = "#000";
954                      "#000"; "#000"; "#000"; "#000"; "#000"; "#000";    color_big_buttons_and_border_highlight = "#000";
955                      "#000"; "#000099"; "#000"; "FFF"; "#555" |];    color_input_text = "#000";
956      (* Coronax *)    color_input_button = "#000";
957      carr.(6) <- [| "#B1BACE"; "#5165A6";  "#BCCADC"; "#FFF"; "#B7C0D4";    color_chunk3 = "#000";
958                      "#FFF"; "#FFF"; "#6B80BF"; "#B2C0D2"; "#000";    color_foreground_text_for_top_buttons = "#000";
959                      "#778BCC"; "#95A9EA"; "#9AAEEF"; "#90A4E5"; "#869FE0";    color_fbig_background = "#000";
960                      "#364A8B"; "#687CBD"; "#6578BB"; "#CF82C5"; "#5165A6";    color_bbig_background = "#000";
961                      "#768FD0"; "#E08686"; "#5668AB"; "#C1CFE1"; "#6476B9"; "#EEE";    color_bsmall_back = "#000";
962                      "#D4C9B7"; "#000"; "#000"; "#000"; "#000"; "#000";    color_bsmall2 = "#000";
963                      "#000"; "#000099"; "#000"; "#8195D6"; "#555" |];    color_bsmall3 = "#000";
964      (* Construction *)    color_border_of_top_buttons = "#000";
965      carr.(7) <- [| "#C8C8C8"; "#878787";  "#5D5D5D"; "#E6E6E6"; "#A8A8A8";    color_table_header_background = "#000";
966                      "#E6E6E6"; "#B3B3B3"; "#999"; "#494949"; "#000";    color_mOver1_back = "#000";
967                      "#686868"; "#AAA"; "#B6B6B6"; "#9F9F9F"; "#999";    color_mOver2_back = "#000";
968                      "#5E5E5E"; "#7F7F7F"; "#ead040"; "#DFBDBD"; "#84A484";    color_mOver3_back = "#000";
969                      "#FFF"; "#EEE"; "#989898"; "#6C6C6C"; "#424242"; "#EEE" |];    color_dl1_back = "#000";
970  )    color_dl2_back = "#000";
971      color_chunk0 = "#000";
972      color_chunk1 = "#000";
973      color_vd_downloaded = "#000";
974      color_vd_remaining = "#000";
975      color_general_text = "#000";
976      color_general_border = "#000";
977      color_anchor = "#000";
978      color_anchor_hover = "#000";
979      color_download_anchor = "#000";
980      color_download_anchor_hover = "#000";
981      color_external_anchor = "#000";
982      color_external_anchor_hover = "#000";
983      color_some_scrollbar = "#000";
984      color_some_border = "#000";
985      color_one_td_text = "#000";
986      frame_height = 0;
987    }
988    
989        (* Default *)
990    let styles = Array.of_list [
991      { style_name = "Green";
992        color_background = "#CBE5CB";
993        color_scrollbar_face = "#94AE94";  
994        color_chunk2 = "#33F";
995        color_scrollbar_highlight = "#E5FFE5";
996        color_vd_page_background = "#B2CCB2";
997        color_big_buttons_and_border_highlight = "#E5E5E5";
998        color_input_text = "#BADEBA";
999        color_input_button = "#A3BDA3";
1000        color_chunk3 = "#00F";
1001        color_foreground_text_for_top_buttons = "#3D3D3D";
1002        color_fbig_background = "#86BE86";
1003        color_bbig_background = "#B2CCB2";
1004        color_bsmall_back = "#BCD6BC";
1005        color_bsmall2 = "#A8C2A8";
1006        color_bsmall3 = "#A3BDA3";
1007        color_border_of_top_buttons = "#718B71";
1008        color_table_header_background = "#90C890";
1009        color_mOver1_back = "#BADEBA";
1010        color_mOver2_back = "#F00";
1011        color_mOver3_back = "#94AE94";
1012        color_dl1_back = "#FFF";
1013        color_dl2_back = "#EEE";
1014        color_chunk0 = "#F33";
1015        color_chunk1 = "#101077" ;
1016        color_vd_downloaded = "#72AA72";
1017        color_vd_remaining = "#EEE";
1018        color_general_text = "#000";
1019        color_general_border = "#000";
1020        color_anchor = "#000";
1021        color_anchor_hover = "#000";
1022        color_download_anchor = "#000";
1023        color_download_anchor_hover = "#000";
1024        color_external_anchor = "#000";
1025        color_external_anchor_hover = "#000099";
1026        color_some_scrollbar = "#000";
1027        color_some_border = "#FFF";
1028        color_one_td_text = "#555";
1029        frame_height = 46; };
1030      
1031      { style_name = "Orange Tang";
1032        color_background = "#EEE";
1033        color_scrollbar_face = "#FF8800";  
1034        color_chunk2 = "#FF8800";
1035        color_scrollbar_highlight = "#FAD08F";
1036        color_vd_page_background = "#F5F5F5";
1037        color_big_buttons_and_border_highlight = "#F2C074";
1038        color_input_text = "#FF9900";
1039        color_input_button = "#FF9900";
1040        color_chunk3 = "#FF7700";
1041        color_foreground_text_for_top_buttons = "#FFF";
1042        color_fbig_background = "#FF9D2D";
1043        color_bbig_background = "#FF8800";
1044        color_bsmall_back = "#FF8800";
1045        color_bsmall2 = "#FF8800";
1046        color_bsmall3 = "#FF8800";
1047        color_border_of_top_buttons = "#FF9900";
1048        color_table_header_background = "#FF8800";
1049        color_mOver1_back = "#FACF8E";
1050        color_mOver2_back = "#FACF8E";
1051        color_mOver3_back = "#FACF8E";
1052        color_dl1_back = "#FFF";
1053        color_dl2_back = "#EEE";
1054        color_chunk0 = "#DDD";
1055        color_chunk1 = "#FACD88" ;
1056        color_vd_downloaded = "#FF9900";
1057        color_vd_remaining = "#EEE";
1058        color_general_text = "#000";
1059        color_general_border = "#000";
1060        color_anchor = "#000";
1061        color_anchor_hover = "#000";
1062        color_download_anchor = "#000";
1063        color_download_anchor_hover = "#000";
1064        color_external_anchor = "#000";
1065        color_external_anchor_hover = "#000099";
1066        color_some_scrollbar = "#000";
1067        color_some_border = "#FFF";
1068        color_one_td_text = "#555";
1069        frame_height = 46; };
1070    
1071      { style_name = "Light blue";
1072        color_background = "#B3E7FF";
1073        color_scrollbar_face = "#7CB1CA";  
1074        color_chunk2 = "#6BE4FF";
1075        color_scrollbar_highlight = "#E6F7FF";
1076        color_vd_page_background = "#9ED3EC";
1077        color_big_buttons_and_border_highlight = "#E6F7FF";
1078        color_input_text = "#9BDFFF";
1079        color_input_button = "#8CBFD7";
1080        color_chunk3 = "#7AF3FF";
1081        color_foreground_text_for_top_buttons = "#000";
1082        color_fbig_background = "#4EBCEF";
1083        color_bbig_background = "#9BCEE6";
1084        color_bsmall_back = "#A3D8F1";
1085        color_bsmall2 = "#91C4DC";
1086        color_bsmall3 = "#8CBFD7";
1087        color_border_of_top_buttons = "#5B8EA6";
1088        color_table_header_background = "#5CCBFF";
1089        color_mOver1_back = "#BFE5F7";
1090        color_mOver2_back = "#7FBCD9";
1091        color_mOver3_back = "#99D6F2";
1092        color_dl1_back = "#FFF";
1093        color_dl2_back = "#EEE";
1094        color_chunk0 = "#4DBCF0";
1095        color_chunk1 = "#48C1DC";
1096        color_vd_downloaded = "#63C3F0";
1097        color_vd_remaining = "#EEE";
1098        color_general_text = "#000";
1099        color_general_border = "#000";
1100        color_anchor = "#000";
1101        color_anchor_hover = "#000";
1102        color_download_anchor = "#000";
1103        color_download_anchor_hover = "#000";
1104        color_external_anchor = "#000";
1105        color_external_anchor_hover = "#000099";
1106        color_some_scrollbar = "#000";
1107        color_some_border = "#FFF";
1108        color_one_td_text = "#555";
1109        frame_height = 46; };
1110      
1111      { style_name = "Light purple";
1112        color_background = "#CAB2E4";
1113        color_scrollbar_face = "#9982B3";  
1114        color_chunk2 = "#C29FE8";
1115        color_scrollbar_highlight = "#E1D7ED";
1116        color_vd_page_background = "#BEA5DA";
1117        color_big_buttons_and_border_highlight = "#E6E6E6";
1118        color_input_text = "#BE9EE3";
1119        color_input_button = "#A68FC0";
1120        color_chunk3 = "#D9B6FF";
1121        color_foreground_text_for_top_buttons = "#000";
1122        color_fbig_background = "#9360CD";
1123        color_bbig_background = "#B29DCC";
1124        color_bsmall_back = "#BDA5D7";
1125        color_bsmall2 = "#AB94C5";
1126        color_bsmall3 = "#A68FC0";
1127        color_border_of_top_buttons = "#786392";
1128        color_table_header_background = "#A06ED8";
1129        color_mOver1_back = "#BE9EE3";
1130        color_mOver2_back = "#D9C5F1";
1131        color_mOver3_back = "#C0A2E0";
1132        color_dl1_back = "#FFF";
1133        color_dl2_back = "#EEE";
1134        color_chunk0 = "#9A77C0";
1135        color_chunk1 = "#AE8BD4";
1136        color_vd_downloaded = "#9054D1";
1137        color_vd_remaining = "#EEE";
1138        color_general_text = "#000";
1139        color_general_border = "#000";
1140        color_anchor = "#000";
1141        color_anchor_hover = "#000";
1142        color_download_anchor = "#000";
1143        color_download_anchor_hover = "#000";
1144        color_external_anchor = "#000";
1145        color_external_anchor_hover = "#000099";
1146        color_some_scrollbar = "#000";
1147        color_some_border = "#FFF";
1148        color_one_td_text = "#555";
1149        frame_height = 46; };
1150      
1151      { style_name = "Monochrome";
1152        color_background = "#C8C8C8";
1153        color_scrollbar_face = "#878787";  
1154        color_chunk2 = "#5D5D5D";
1155        color_scrollbar_highlight = "#E6E6E6";
1156        color_vd_page_background = "#A8A8A8";
1157        color_big_buttons_and_border_highlight = "#E6E6E6";
1158        color_input_text = "#B3B3B3";
1159        color_input_button = "#999";
1160        color_chunk3 = "#494949";
1161        color_foreground_text_for_top_buttons = "#000";
1162        color_fbig_background = "#686868";
1163        color_bbig_background = "#AAA";
1164        color_bsmall_back = "#B6B6B6";
1165        color_bsmall2 = "#9F9F9F";
1166        color_bsmall3 = "#999";
1167        color_border_of_top_buttons = "#5E5E5E";
1168        color_table_header_background = "#7F7F7F";
1169        color_mOver1_back = "#C1C1C1";
1170        color_mOver2_back = "#DFBDBD";
1171        color_mOver3_back = "#A4A4A4";
1172        color_dl1_back = "#FFF";
1173        color_dl2_back = "#EEE";
1174        color_chunk0 = "#989898";
1175        color_chunk1 = "#6C6C6C";
1176        color_vd_downloaded = "#424242";
1177        color_vd_remaining = "#EEE";
1178        color_general_text = "#000";
1179        color_general_border = "#000";
1180        color_anchor = "#000";
1181        color_anchor_hover = "#000";
1182        color_download_anchor = "#000";
1183        color_download_anchor_hover = "#000";
1184        color_external_anchor = "#000";
1185        color_external_anchor_hover = "#000099";
1186        color_some_scrollbar = "#000";
1187        color_some_border = "#FFF";
1188        color_one_td_text = "#555";
1189        frame_height = 46; };
1190    
1191      { style_name = "Corona";
1192        color_background = "#C1CADE";
1193        color_scrollbar_face = "#8195D6";  
1194        color_chunk2 = "#BCCADC";
1195        color_scrollbar_highlight = "#FFF";
1196        color_vd_page_background = "#B7C0D4";
1197        color_big_buttons_and_border_highlight = "#FFF";
1198        color_input_text = "#FFF";
1199        color_input_button = "#6B80BF";
1200        color_chunk3 = "#B2C0D2";
1201        color_foreground_text_for_top_buttons = "#000";
1202        color_fbig_background = "#778BCC";
1203        color_bbig_background = "#95A9EA";
1204        color_bsmall_back = "#9AAEEF";
1205        color_bsmall2 = "#90A4E5";
1206        color_bsmall3 = "#869FE0";
1207        color_border_of_top_buttons = "#364A8B";
1208        color_table_header_background = "#687CBD";
1209        color_mOver1_back = "#6578BB";
1210        color_mOver2_back = "#CF82C5";
1211        color_mOver3_back = "#8195D6";
1212        color_dl1_back = "#FFF";
1213        color_dl2_back = "#EEE";
1214        color_chunk0 = "#5668AB";
1215        color_chunk1 = "#C1CFE1";
1216        color_vd_downloaded = "#6476B9";
1217        color_vd_remaining = "#EEE";
1218        color_general_text = "#000";
1219        color_general_border = "#000";
1220        color_anchor = "#000";
1221        color_anchor_hover = "#000";
1222        color_download_anchor = "#000";
1223        color_download_anchor_hover = "#000";
1224        color_external_anchor = "#000";
1225        color_external_anchor_hover = "#000099";
1226        color_some_scrollbar = "#000";
1227        color_some_border = "#FFF";
1228        color_one_td_text = "#555";
1229        frame_height = 46; };
1230    
1231      { style_name = "Coronax";
1232        color_background = "#B1BACE";
1233        color_scrollbar_face = "#5165A6";  
1234        color_chunk2 = "#BCCADC";
1235        color_scrollbar_highlight = "#FFF";
1236        color_vd_page_background = "#B7C0D4";
1237        color_big_buttons_and_border_highlight = "#FFF";
1238        color_input_text = "#FFF";
1239        color_input_button = "#6B80BF";
1240        color_chunk3 = "#B2C0D2";
1241        color_foreground_text_for_top_buttons = "#000";
1242        color_fbig_background = "#778BCC";
1243        color_bbig_background = "#95A9EA";
1244        color_bsmall_back = "#9AAEEF";
1245        color_bsmall2 = "#90A4E5";
1246        color_bsmall3 = "#869FE0";
1247        color_border_of_top_buttons = "#364A8B";
1248        color_table_header_background = "#687CBD";
1249        color_mOver1_back = "#6578BB";
1250        color_mOver2_back = "#CF82C5";
1251        color_mOver3_back = "#5165A6";
1252        color_dl1_back = "#768FD0";
1253        color_dl2_back = "#E08686";
1254        color_chunk0 = "#5668AB";
1255        color_chunk1 = "#C1CFE1";
1256        color_vd_downloaded = "#6476B9";
1257        color_vd_remaining = "#EEE";
1258        color_general_text = "#D4C9B7";
1259        color_general_border = "#000";
1260        color_anchor = "#000";
1261        color_anchor_hover = "#000";
1262        color_download_anchor = "#000";
1263        color_download_anchor_hover = "#000";
1264        color_external_anchor = "#000";
1265        color_external_anchor_hover = "#000099";
1266        color_some_scrollbar = "#000";
1267        color_some_border = "#8195D6";
1268        color_one_td_text = "#555";
1269        frame_height = 46; };
1270    
1271      { style_name = "Construction";
1272        color_background = "#C8C8C8";
1273        color_scrollbar_face = "#878787";  
1274        color_chunk2 = "#5D5D5D";
1275        color_scrollbar_highlight = "#E6E6E6";
1276        color_vd_page_background = "#A8A8A8";
1277        color_big_buttons_and_border_highlight = "#E6E6E6";
1278        color_input_text = "#B3B3B3";
1279        color_input_button = "#999";
1280        color_chunk3 = "#494949";
1281        color_foreground_text_for_top_buttons = "#000";
1282        color_fbig_background = "#686868";
1283        color_bbig_background = "#AAA";
1284        color_bsmall_back = "#B6B6B6";
1285        color_bsmall2 = "#9F9F9F";
1286        color_bsmall3 = "#999";
1287        color_border_of_top_buttons = "#5E5E5E";
1288        color_table_header_background = "#7F7F7F";
1289        color_mOver1_back = "#EAD040";
1290        color_mOver2_back = "#DFBDBD";
1291        color_mOver3_back = "#84A484";
1292        color_dl1_back = "#FFF";
1293        color_dl2_back = "#EEE";
1294        color_chunk0 = "#989898";
1295        color_chunk1 = "#6C6C6C";
1296        color_vd_downloaded = "#424242";
1297        color_vd_remaining = "#EEE";                    
1298        color_general_text = "#D4C9B7";
1299        color_general_border = "#000";
1300        color_anchor = "#000";
1301        color_anchor_hover = "#000";
1302        color_download_anchor = "#000";
1303        color_download_anchor_hover = "#000";
1304        color_external_anchor = "#000";
1305        color_external_anchor_hover = "#000099";
1306        color_some_scrollbar = "#000";
1307        color_some_border = "#8195D6";
1308        color_one_td_text = "#555";
1309        frame_height = 46; } ]
1310    
1311    let style_codes = [
1312      "@color_background@";
1313      "@color_scrollbar_face@";
1314      "@color_chunk2@";
1315      "@color_scrollbar_highlight@";
1316      "@color_vd_page_background@";
1317      "@color_big_buttons_and_border_highlight@";
1318      "@color_input_text@";
1319      "@color_input_button@";
1320      "@color_chunk3@";
1321      "@color_foreground_text_for_top_buttons@";
1322      "@color_fbig_background@";
1323      "@color_bbig_background@";
1324      "@color_bsmall_back@";
1325      "@color_bsmall2@";
1326      "@color_bsmall3@";
1327      "@color_border_of_top_buttons@";
1328      "@color_table_header_background@";
1329      "@color_mOver1_back@";
1330      "@color_mOver2_back@";
1331      "@color_mOver3_back@";
1332      "@color_dl1_back@";
1333      "@color_dl2_back@";
1334      "@color_chunk0@";
1335      "@color_chunk1@";
1336      "@color_vd_downloaded@";
1337      "@color_vd_remaining@";
1338      "@color_general_text@";
1339      "@color_general_border@";
1340      "@color_anchor@";
1341      "@color_anchor_hover@";
1342      "@color_download_anchor@";
1343      "@color_download_anchor_hover@";
1344      "@color_external_anchor@";
1345      "@color_external_anchor_hover@";
1346      "@color_some_scrollbar@";
1347      "@color_some_border@";
1348      "@color_one_td_text@";
1349    
1350    (* legacy values *)
1351      "@C0@";"@C1@";"@C2@";"@C3@";
1352      "@C4@";"@C5@";"@C6@";"@C7@";
1353      "@C8@";"@C9@";"@C10@";"@C11@";
1354      "@C12@";"@C13@";"@C14@";"@C15@";
1355      "@C16@";"@C17@";"@C18@";"@C19@";
1356      "@C20@";"@C21@";"@C22@";"@C23@";
1357      "@C24@";"@C25@";"@C26@";"@C27@";
1358      "@C28@";"@C29@";"@C30@";"@C31@";
1359      "@C32@";"@C33@";"@C34@";"@C35@";
1360      "@C36@"]
1361    
1362    (* code substitutions *)
1363    let color_from_style stylenum code =
1364      let style = styles.(stylenum) in
1365      match code with
1366      | "@color_background@" | "@C0@" -> style.color_background
1367      | "@color_scrollbar_face@" | "@C1@" -> style.color_scrollbar_face
1368      | "@color_chunk2@" | "@C2@" -> style.color_chunk2
1369      | "@color_scrollbar_highlight@" | "@C3@" -> style.color_scrollbar_highlight
1370      | "@color_vd_page_background@" | "@C4@" -> style.color_vd_page_background
1371      | "@color_big_buttons_and_border_highlight@" | "@C5@" -> style.color_big_buttons_and_border_highlight
1372      | "@color_input_text@" | "@C6@" -> style.color_input_text
1373      | "@color_input_button@" | "@C7@" -> style.color_input_button
1374      | "@color_chunk3@" | "@C8@" -> style.color_chunk3
1375      | "@color_foreground_text_for_top_buttons@" | "@C9@" -> style.color_foreground_text_for_top_buttons
1376      | "@color_fbig_background@" | "@C10@" -> style.color_fbig_background
1377      | "@color_bbig_background@" | "@C11@" -> style.color_bbig_background
1378      | "@color_bsmall_back@" | "@C12@" -> style.color_bsmall_back
1379      | "@color_bsmall2@" | "@C13@" -> style.color_bsmall2
1380      | "@color_bsmall3@" | "@C14@" -> style.color_bsmall3
1381      | "@color_border_of_top_buttons@" | "@C15@" -> style.color_border_of_top_buttons
1382      | "@color_table_header_background@" | "@C16@" -> style.color_table_header_background
1383      | "@color_mOver1_back@" | "@C17@" -> style.color_mOver1_back
1384      | "@color_mOver2_back@" | "@C18@" -> style.color_mOver2_back
1385      | "@color_mOver3_back@" | "@C19@" -> style.color_mOver3_back
1386      | "@color_dl1_back@" | "@C20@" -> style.color_dl1_back
1387      | "@color_dl2_back@" | "@C21@" -> style.color_dl2_back
1388      | "@color_chunk0@" | "@C22@" -> style.color_chunk0
1389      | "@color_chunk1@" | "@C23@" -> style.color_chunk1
1390      | "@color_vd_downloaded@" | "@C24@" -> style.color_vd_downloaded
1391      | "@color_vd_remaining@" | "@C25@" -> style.color_vd_remaining
1392      | "@color_general_text@" | "@C26@" -> style.color_general_text
1393      | "@color_general_border@" | "@C27@" -> style.color_general_border
1394      | "@color_anchor@" | "@C28@" -> style.color_anchor
1395      | "@color_anchor_hover@" | "@C29@" -> style.color_anchor_hover
1396      | "@color_download_anchor@" | "@C30@" -> style.color_download_anchor
1397      | "@color_download_anchor_hover@" | "@C31@" -> style.color_download_anchor_hover
1398      | "@color_external_anchor@" | "@C32@" -> style.color_external_anchor
1399      | "@color_external_anchor_hover@" | "@C33@" -> style.color_external_anchor_hover
1400      | "@color_some_scrollbar@" | "@C34@" -> style.color_some_scrollbar
1401      | "@color_some_border@" | "@C35@" -> style.color_some_border
1402      | "@color_one_td_text@" | "@C36@" -> style.color_one_td_text
1403      | _ -> assert false
1404    
1405    
1406  let html_css_mods = ref ""  let html_css_mods = ref ""
1407  let download_html_css_mods = ref ""  let download_html_css_mods = ref ""
# Line 999  let download_html_css_mods = ref "" Line 1409  let download_html_css_mods = ref ""
1409  let colour_changer () =  let colour_changer () =
1410       html_css_mods := !!html_css_mods0;       html_css_mods := !!html_css_mods0;
1411       download_html_css_mods := !!download_html_css_mods0;       download_html_css_mods := !!download_html_css_mods0;
1412          let mstyle = ref !!CommonOptions.html_mods_style in       let mstyle = ref !!CommonOptions.html_mods_style in
1413          if (!mstyle > !ncarr || !mstyle < 0) then mstyle := 0;       if !mstyle >= Array.length styles || !mstyle < 0 then mstyle := 0;
1414       Array.iteri (fun i c ->       List.iter (fun c ->
1415        html_css_mods := global_replace (Str.regexp (Printf.sprintf "@C%d@" i))         let color_regexp = Str.regexp c in
1416         carr.(!mstyle).(i) !html_css_mods;         html_css_mods := global_replace color_regexp
1417        download_html_css_mods := global_replace (Str.regexp (Printf.sprintf "@C%d@" i))           (color_from_style !mstyle c) !html_css_mods;
1418         carr.(!mstyle).(i) !download_html_css_mods         download_html_css_mods := global_replace color_regexp
1419       ) carr.(!mstyle)           (color_from_style !mstyle c) !download_html_css_mods
1420         ) style_codes
1421    
1422  let load_message_file () =  let load_message_file () =
1423    (    (

Legend:
Removed from v.1.36  
changed lines
  Added in v.1.37

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26