Differences From Artifact [0fdfdfeb82]:

• File src/style.c — part of check-in [7fbc1c3a1f] at 2015-03-09 08:58:13 on branch trunk — Eliminate some unnecessary end-of-line spacing (user: jan.nijtmans size: 42484)

To Artifact [f200b94959]:

• File src/style.c — part of check-in [c68c68d9d1] at 2015-03-09 11:15:13 on branch trunk — Add extra space between lines of the file-list in a timeline. (user: drh size: 42572) [more...]

1106
1107
1108
1109
1110
1111
1112




1113
1114
1115
1116
1117
1118
1119

    @   color: red;
  },
  { "ul.filelist",
    "List of files in a timeline",
    @   margin-top: 3px;
    @   line-height: 100%;
  },




  { "table.sbsdiffcols",
    "side-by-side diff display (column-based)",
    @   width: 90%;
    @   border-spacing: 0;
    @   font-size: xx-small;
  },
  { "table.sbsdiffcols td",

>
>
>
>

1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123

    @   color: red;
  },
  { "ul.filelist",
    "List of files in a timeline",
    @   margin-top: 3px;
    @   line-height: 100%;
  },
  { "ul.filelist li",
    "List of files in a timeline",
    @   padding-top: 1px;
  },
  { "table.sbsdiffcols",
    "side-by-side diff display (column-based)",
    @   width: 90%;
    @   border-spacing: 0;
    @   font-size: xx-small;
  },
  { "table.sbsdiffcols td",