166
167
168
169
170
171
172
173
174
175
176
177
178
179
|
/*
** Default header text for diff with --webpage
*/
static const char zWebpageHdr[] =
@ <!DOCTYPE html>
@ <html>
@ <head>
@ <style>
@ table.sbsdiffcols {
@ width: 90%;
@ border-spacing: 0;
@ font-size: xx-small;
@ }
@ table.sbsdiffcols td {
|
>
|
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
|
/*
** Default header text for diff with --webpage
*/
static const char zWebpageHdr[] =
@ <!DOCTYPE html>
@ <html>
@ <head>
@ <meta charset="UTF-8">
@ <style>
@ table.sbsdiffcols {
@ width: 90%;
@ border-spacing: 0;
@ font-size: xx-small;
@ }
@ table.sbsdiffcols td {
|
218
219
220
221
222
223
224
225
226
227
228
229
230
231
|
@ color: #a0a0a0;
@ }
@ </style>
@ </head>
@ <body>
;
const char zWebpageEnd[] =
@ </body>
@ </html>
;
/*
** Print a header or footer on the overall diff output.
**
|
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
|
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
|
@ color: #a0a0a0;
@ }
@ </style>
@ </head>
@ <body>
;
const char zWebpageEnd[] =
@ <script>
@ (function(){
@ var lastWidth = 0;
@ function checkWidth(){
@ if( document.body.clientWidth!=lastWidth ){
@ lastWidth = document.body.clientWidth;
@ var w = lastWidth*0.5 - 100;
@ var allCols = document.getElementsByClassName('difftxtcol');
@ for(let i=0; i<allCols.length; i++){
@ allCols[i].style.width = w + "px";
@ allCols[i].style.maxWidth = w + "px";
@ }
@ var allDiffs = document.getElementsByClassName('sbsdiffcols');
@ w = lastWidth;
@ for(let i=0; i<allDiffs.length; i++){
@ allDiffs[i].style.width = w + "px";
@ allDiffs[i].style.maxWidth = w + "px";
@ }
@ }
@ setTimeout(checkWidth, 100)
@ }
@ checkWidth();
@ }());
@ </script>
@ </body>
@ </html>
;
/*
** Print a header or footer on the overall diff output.
**
|