Did you know ... Search Documentation:
GIT commit info
Properly align the search box in the upper header
authorJan Wielemaker
Sun May 21 13:51:50 2017 +0200
committerJan Wielemaker
Sun May 21 13:51:50 2017 +0200
commit369ff3741a19aa492f7a8a3997a50d50f796577d
tree0537afde73237f3d54e79a6053acc6c60f36dce5
parentef74d08fd23de67b455957d3549442fd6415d893
Diff style: stat patch
 css/swipl.css | 22 ++++++++++------------
 1 file changed, 10 insertions(+), 12 deletions(-)