[petsc-dev] dates of last change on PETSc web pages

[Sean Farley]

>
> You have not yet modified the script that prepares the manual pages to
> automatically put the date of generation in the upper right corner.  As
> well as other generated pages.
>
> Could you please add that ASAP or speak to me about how to do it so it
> will be ready for the next release.


I also meant to do this but got distracted. I mocked up two versions: one
with the date below the line (but affects some of the formatting in the
main body as you can see from the screenshot), and one with the date above
the line that uses the current space between the header text and the
horizontal rule.

I thought the upper right hand corner would look bad but it is better than
I imagined.

Thoughts?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20120320/3e654ead/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: date-below-line.png
Type: image/png
Size: 147998 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20120320/3e654ead/attachment.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: date-above-line.png
Type: image/png
Size: 137350 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20120320/3e654ead/attachment-0001.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: date-upper-right.png
Type: image/png
Size: 112114 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20120320/3e654ead/attachment-0002.png>