URL:
<https://savannah.gnu.org/patch/?9765>
Summary: Minor changes to #content related CSS classes
Project: The GNU Hurd
Submitted by: muto
Submitted on: Wed 13 Mar 2019 01:11:04 PM MDT
Category: web pages
Priority: 4
Status: None
Privacy: Public
Assigned to: None
Originator Email:
Open/Closed: Open
Discussion Lock: Any
Planned Release: None
Wiki-like text discussion box: I set the default font to "Deja Vu Sans". The
original was "Bitstream Vera Sans". It's a preference that may be
controversial.
_______________________________________________________
Details:
This patch modifies a few classes in local.css.
Changes include:
Background colour on #content
Changes to the ToC
Special background colour on pre
And a few more.
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Wed 13 Mar 2019 01:11:04 PM MDT Name: website-content-misc-changes.diff
Size: 2KiB By: muto
diff file
<http://savannah.gnu.org/patch/download.php?file_id=46522>
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/patch/?9765>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
