diff options
author | Matthew Somerville <matthew@mysociety.org> | 2014-09-24 16:42:53 +0100 |
---|---|---|
committer | Matthew Somerville <matthew@mysociety.org> | 2014-09-24 22:06:40 +0100 |
commit | 8c720b5bb759a6760e584c3ce1c17ff49d23e0cf (patch) | |
tree | d36af0bf0934f2855b8ce3fc0277d5e285dc524b /web/js/jquery-ui/css | |
parent | 1c10db2d28ac85b1a3e294818ad507a4a6e336e3 (diff) |
Remove unasked for 'medium' header bottom border.
Without a bottom border specified, using border-image causes an
inherited 'medium' (c. 3px) border to appear. Also repeat header
border image, rather than default stretch.
Diffstat (limited to 'web/js/jquery-ui/css')
0 files changed, 0 insertions, 0 deletions