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"] |
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"] |
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 "" |
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 |
( |
( |