| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
| |
This looks much better in firefox, but has no effect for elinks.
|
| |
|
|
|
| |
This makes the headings stand out, which improves readability for text mode
browsers such as elinks which can't use a different font size.
|
| |
|
|
|
| |
Amazing to see that none of this is actually used in the pages generated
by doxyen-1.8.
|
| |
|
|
|
| |
The pages look better without this since the tables no longer contain
horizontal lines above all entities.
|
| | |
|
| |
|
|
| |
Larger pages such as the manual page look much nicer after this patch.
|
| |
|
|
|
|
| |
This tweaks the style sheet to make the rows of the tables easier to
read. It affects the topic list on the development page and the list
of files on the doxygen API page.
|
| |
|
|
|
| |
This removes some unnecessary cruft. The pages still look as before,
at least in elinks and firefox.
|
| |
|
|
|
|
|
| |
Wrap text paragraphs in <p>...</p> and increase the margin value for
the html body in the css file. This looks much better in firefox.
No change to the contents.
|
| |
|
|
|
| |
Now the pages no longer look as if they were made in the nineties. More
like 2001 :)
|
| |
|
|
|
|
|
|
|
|
|
| |
This new svg logo was not made with a graphical editor but with a
plain text exitor. Unfortunately, ImageMagick is unable to create
a working .ico file from the svg source. Therefore we continue to
carry a manually created .ico file in the repo.
The new logo is less wide than the previous one, and it does not look
nice when it floats to the right side of its tabular cell. Fortunately
this can be fixed by removing some code from the style sheet.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Both the gitweb and the git daemon service have been relocated to
tuebingen.mpg.de. This commit changes the git-related URLs in the
repository to their counterparts at the new location.
The new location does not have a gitweb page dedicated to paraslash
alone. Instead, the gitweb service is provided by the gitolite
instance at git.tuebingen.mpg.de which hosts also a couple of other
repositories.
The "Changes" link of the the menu of the paraslash web pages points
to the dedicated gitweb page, so this link is removed from the menu.
There is still a gitweb link on the download page and a new one in
the README file.
Without a dedicated gitweb page, parts of the para.css style sheet
are no longer needed. This patch removes these parts, along with
git-logo.png, header and footer, which also have become unused.
|
| |
|
|
|
| |
This way it also applies to the paraslash logo. Without this, old
mozilla browsers show a margin around the image, which looks ugly.
|
| |
|
|
| |
120% is big enough, let's use this size everywhere.
|
| |
|
|
| |
Removing this section makes it go away.
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
| |
Having only one style file avoids to duplicate the rules for common
elements. This is the result of cat gitweb.css >> para.css plus a
minor fix.
gitweb_config.perl on the destination site, and para_adm have to be
updated at the same time to make this work.
|
| | |
|
| | |
|
| |
|
|
|
|
| |
In para.css most css element selectors were in upper case, while
gitweb.css used lower case selectors. This patch makes the two
consistent.
|
| |
|
|
| |
The default value of font-size is medium, which seems to be more appropriate.
|
| |
|
|
| |
Indentation was rather inconsistent.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
For v0.3 the outfit should at least change a bit ;)
|
| |
|
|
| |
It was almost unreadable.
|
| |
|
|
|
| |
looks much nicer. This also fixes the problem with gitweb where
tabs in patches were not indented on the web page
|
| | |
|
| | |
|
|
|
Let's try if this works out.
|
