| Did you know ... | Search Documentation: |
 | GIT commit info |
- Home
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- USERS
- WIKI
Properly align the search box in the upper header
| author | Jan Wielemaker |
|---|---|
| Sun May 21 13:51:50 2017 +0200 | |
| committer | Jan Wielemaker |
| Sun May 21 13:51:50 2017 +0200 | |
| commit | 369ff3741a19aa492f7a8a3997a50d50f796577d |
| tree | 0537afde73237f3d54e79a6053acc6c60f36dce5 |
| parent | ef74d08fd23de67b455957d3549442fd6415d893 |
Diff style: stat patch
css/swipl.css | 22 ++++++++++------------ 1 file changed, 10 insertions(+), 12 deletions(-)