[library-web] style: various adjustments to margins and sizes

[Frederic Peters <fpeters src gnome org>]

commit 17677d103b75860dd697829dd6b36dd426833038
Author: Frédéric Péters <fpeters 0d be>
Date:   Sat Sep 6 13:23:48 2014 +0200

    style: various adjustments to margins and sizes
    
    https://bugzilla.gnome.org/show_bug.cgi?id=735458

 data/skin/lgo2010.css |   31 ++++++++++++++++++++++++++++++-
 1 files changed, 30 insertions(+), 1 deletions(-)
---
diff --git a/data/skin/lgo2010.css b/data/skin/lgo2010.css
index 9d15b08..0c00dfe 100644
--- a/data/skin/lgo2010.css
+++ b/data/skin/lgo2010.css
@@ -29,10 +29,14 @@ div.page_title {
        border: none;
 }
 
-a.doc-link {
+a.external, a.doc-link {
        text-decoration: none;
 }
 
+a.external:hover, a.doc-link:hover {
+       text-decoration: underline;
+}
+
 h1 {
        color: #c4a000;
        text-shadow: white 0 -2px;
@@ -544,3 +548,28 @@ pre.cmdsynopsis {
        white-space: normal;
        word-break: keep-all;
 }
+
+h2, h3,
+dl dt {
+       margin: 0;
+}
+
+p {
+       margin: 0.4em 0;
+}
+
+p.module-more a {
+       text-decoration: none;
+}
+
+p.module-more a:hover {
+       text-decoration: underline;
+}
+
+dt .module-more {
+       font-weight: normal;
+}
+
+dl.doc-index dt{
+       font-size: 120%;
+}