summaryrefslogtreecommitdiff
path: root/local.css
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-11-13 22:05:10 +0100
committerThomas Schwinge <tschwinge@gnu.org>2007-11-13 22:05:10 +0100
commit2919d747e579241b8a3e971ef5196a3af99811a6 (patch)
tree7d75865a4daae44b259376e92f6895fc1a784aea /local.css
parent1c13d29d40ec68be83b21e5987b2d503d6e6b798 (diff)
Add a copyright and licensing header.
Diffstat (limited to 'local.css')
-rw-r--r--local.css15
1 files changed, 11 insertions, 4 deletions
diff --git a/local.css b/local.css
index 2278f8c7..9d169729 100644
--- a/local.css
+++ b/local.css
@@ -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;
}