[kde-doc-english] [PATCH] Add to 2 pixel margin and padding to KDE's default CSS file

Lauri Watts lauri at kde.org
Mon Oct 27 21:04:50 CET 2003


On Saturday 25 October 2003 20.50, ismail dönmez wrote:
> Hi,
> 
> Attached patch adds 2 pixels margin and padding to KDE's default css file
> for 
 documentation. Which this patch man:/foo is far easier to read as it
> doesnt start from the 0th pixel of the screen which makes it hard to read. 
> Please comment/review/apply!

padding and margin on the body is set to 0 on purpose, so that there is no 
border between the graphics and the edge of the window (which looks very bad 
indeed, and is distracting.)  So this patch can't be applied as is, sorry.

Also, we discussed earlier in the year changing the kio_man output to look 
like the new style info and help style, which would be a good opportunity to 
fix any leftover style issues.

The better solution would be to redo the layout (man2html.cpp, around line 
2770) and wrap the entire content of the page (but not the <body> element) 
with a <div class="..."> and style the class with the additional margin.

I'll try find the last time we discussed this, and who was working on it.

Regards,
-- 
Lauri Watts
KDE Documentation: http://i18n.kde.org/doc/
KDE on FreeBSD: http://freebsd.kde.org/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 187 bytes
Desc: signature
Url : http://mail.kde.org/pipermail/kde-doc-english/attachments/20031027/c4b7b2de/attachment.sig 


More information about the kde-doc-english mailing list