summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-05-29 09:31:42 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-05-29 09:31:42 +0200
commitf5a3f81a9222a86ac1077f2f126fea66df41dc94 (patch)
tree975ad771adbbbd7875098d59dedafca762934362
parent110d6aedeca6aaa9e94dcd61d48a1a371729d382 (diff)
Minor web style updates (menu order/content, spacing)0.7.0
-rw-r--r--common.css2
-rw-r--r--web-prologue.xhtml4
2 files changed, 3 insertions, 3 deletions
diff --git a/common.css b/common.css
index 6beaa16..698ecdd 100644
--- a/common.css
+++ b/common.css
@@ -84,7 +84,7 @@ body {min-width: 17em;}
font-size: 0.889em;
line-height: 1.4em;
text-align: right;
- margin-left: 1em;
+ margin-left: 1.2em;
white-space: nowrap;
letter-spacing: 0;
}
diff --git a/web-prologue.xhtml b/web-prologue.xhtml
index f5e5798..6df29bb 100644
--- a/web-prologue.xhtml
+++ b/web-prologue.xhtml
@@ -23,9 +23,9 @@ $./web.css$
<div id="header-menu-body">
<a href="$www$/doc.xhtml">Docs</a>
<a href="$www$/install.xhtml">Install</a>
- <a href="https://cppget.org">C++ Packages</a>
+ <a href="https://cppget.org">Packages</a>
+ <a href="$www$/repository.xhtml">Git Repository</a>
<a href="https://lists.build2.org">Mailing Lists</a>
- <a href="https://git.build2.org">Git Repository</a>
<a href="$www$/blog.xhtml">Blog</a>
</div>
</div>