Tobias Zwick
0ad8e15c8a
in the documentation, always have "docs" preselected in the search shown in the header
2016-06-19 17:00:18 +02:00
Günther Brammer
e1b7db956a
docs: Update header and CSS for the new openclonk.org style
2016-01-02 22:44:45 +01:00
Tobias Zwick
feae5c8ea3
website header changes
2013-10-31 00:58:55 +07:00
Tobias Zwick
6dc75fb22a
documentation -> link to git repos in header
2013-01-13 15:40:28 +01:00
Tobias Zwick
caac561959
Search bar in the documentation defaulting to c4script function (or similar) ( #819 )
2012-10-20 16:14:00 +02:00
Tobias Zwick
873f189641
fix openclonk header css for docs (nobody noticed :-( )
2012-08-20 21:47:21 +02:00
Tobias Zwick
07fbe84af6
fix docs header
2012-02-01 20:10:17 +01:00
Tobias Zwick
e537a7ad0a
docs: fix link to download page in header.xml
2011-08-01 01:15:15 +02:00
Tobias Zwick
47f84a46d7
docs: added language switcher to the header
2011-06-30 01:41:49 +02:00
Günther Brammer
26ea10106f
Remove the php extension from the download URL
...
Hopefully, the url won't change that way when the implementation changes.
2010-12-03 22:48:34 +01:00
Tobias Zwick
475f9a7214
new header for the documentation (+de.po was re-generated by make)
2010-09-09 17:54:20 +02:00
Tobias Zwick
f3b77671aa
updated header, en.po
2010-04-08 02:07:50 +02:00
Tobias Zwick
5f1c4ab93d
fixed header
2010-03-16 00:41:10 +01:00
Tobias Zwick
b86637e176
docs: updated docs header
2010-03-15 23:59:39 +01:00
Günther Brammer
a9dfe2ed82
docs: Use static html instead of php
...
The .html file extension is needed for offline docs, and configuring a webserver
to execute PHP in .html is as easy as changing the build system to support both.
But for a simple common header there's no need to reach for PHP. XSLT can do the
job. For ease of maintenance the header is read from an extra file.
2010-02-10 00:55:32 +01:00