Did you know ... Search Documentation:
GIT commit info
Use border rather than fixed size for the upper header to guarantee proper vertical alignment. Resised blue gradient a little. Should be turned into a CSS gradient.
authorJan Wielemaker
Mon May 22 14:03:36 2017 +0200
committerJan Wielemaker
Mon May 22 14:03:36 2017 +0200
commit4fae1bb6594db8bd2bde43b2f26630a552ac9171
tree177e22b26a5f3d420c1ee6b9903544adc4276fa6
parent31cd8017d228808aac07d6ac8a1af6f139c1030b
Diff style: stat patch
 css/swipl.css       |   6 +-----
 icons/bluegrad.png  | Bin 2879 -> 2895 bytes
 icons/menubkgnd.png | Bin 3085 -> 0 bytes
 3 files changed, 1 insertion(+), 5 deletions(-)