gen_docu: fix missing attributes, show generation time at the end

[libfirm] / scripts / style.css

diff --git a/scripts/style.css b/scripts/style.css
index 24ba055..53927f2 100644 (file)
--- a/scripts/style.css
+++ b/scripts/style.css
@@ -70,6 +70,18 @@ div.sidebar input {
        font-size: 1em;
 }
 
+div.footer {
+       width: 940px;
+       margin: 20px auto 30px auto;
+       font-size: 14px;
+       color: #888;
+       text-align: right;
+}
+
+div.footer a {
+       color: #888;
+}
+
 a {
        color: #aa0000;
        text-decoration: underline;