diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-11-13 22:05:10 +0100 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-11-13 22:05:10 +0100 |
commit | 2919d747e579241b8a3e971ef5196a3af99811a6 (patch) | |
tree | 7d75865a4daae44b259376e92f6895fc1a784aea | |
parent | 1c13d29d40ec68be83b21e5987b2d503d6e6b798 (diff) |
Add a copyright and licensing header.
-rw-r--r-- | local.css | 15 |
1 files changed, 11 insertions, 4 deletions
@@ -1,6 +1,13 @@ -/* ikiwiki local style sheet */ +/* ikiwiki local style sheet -/* Add local styling here, instead of modifying style.css. */ + Copyright © 2007 Free Software Foundation, Inc. + + Permission is granted to copy, distribute and/or modify this document under + the terms of the GNU Free Documentation License, Version 1.2 or any later + version published by the Free Software Foundation; with no Invariant + Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the + license is included in the section entitled ``GNU Free Documentation + License''. */ /* * Someone else please work on this stuff -- someone who knows to make it @@ -49,8 +56,8 @@ pre margin-bottom: 1.5em; margin-top: 0; } - -h1, h2, h3, h4, h5, h6, table, p, ol, ul, li, div, pre { +h1, h2, h3, h4, h5, h6, table, p, ol, ul, li, div, pre +{ clear: left; } |