summaryrefslogtreecommitdiff
path: root/local.css
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2008-11-12 15:45:17 +0100
committerThomas Schwinge <tschwinge@gnu.org>2008-11-12 15:45:17 +0100
commit8f929bde2919c770b1f26397567526626e0683f2 (patch)
tree62503ab24989fd0e24fbeea98225b0ff0ff6869a /local.css
parentab0e7756c5f9e2e9a96d6ccc858d0f72453a462d (diff)
Remove obsoltete TODO item, improve desciption.
Diffstat (limited to 'local.css')
-rw-r--r--local.css7
1 files changed, 1 insertions, 6 deletions
diff --git a/local.css b/local.css
index f47922b7..519d0555 100644
--- a/local.css
+++ b/local.css
@@ -57,9 +57,7 @@ pre
padding: 0.5em;
}
-/* Format these elements table-like with the background of the upper element
- shinig through between the cells. TODO. This is currently achieved with
- ``border: white''. */
+/* Put these elements side by side. */
.pagedate,
.pagecopyright,
.pagelicense
@@ -67,9 +65,6 @@ pre
display: table-cell;
padding: 0.15em;
}
-
-/* Nullify the paragraph tag enclosing the copyright. Also nullify the
- paragraph tag following ``License:''. */
.pagecopyright p,
.pagelicense p
{