summaryrefslogtreecommitdiff
path: root/local.css
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-09-21 15:40:53 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-09-21 15:40:53 +0200
commit3aed363cd858b7687891097f574e532450234af5 (patch)
tree9253076fc11c1c629f9361c3d92259df3329181f /local.css
parent800f87cd5638ecdf7fbcf9b5ab6a69432dc6df08 (diff)
Another TODO item.
Diffstat (limited to 'local.css')
-rw-r--r--local.css12
1 files changed, 9 insertions, 3 deletions
diff --git a/local.css b/local.css
index 010b995d..fd827702 100644
--- a/local.css
+++ b/local.css
@@ -16,7 +16,13 @@
scrollbars show up in the browser and all of header, text editing box,
copyright assignment notice, buttons and footer are visible at once, without
having to scroll. This means that the text editing box should be resized in
- height as needed (within limits, of course). --tschwinge */
+ height as needed (within limits, of course). --tschwinge
+
+ (2) `.pagecopyright' and `.pagelicense' should get the spacing between them
+ removed and should get some margins.
+*/
+
+
hr
{
@@ -63,8 +69,8 @@ pre + *
background-color: #f0f0f0;
}
-.pagelicense,
-.pagecopyright
+.pagecopyright,
+.pagelicense
{
background-color: #f0f0f0;
font-size: small;