diff options
| author |  Andy Adams-Moran <adams-moran@galois.com> | 2012-05-17 11:28:57 -0700 |
|---|---|---|
| committer | Andy Adams-Moran <adams-moran@galois.com> | 2012-05-17 11:28:57 -0700 |
| commit | 146aad9c5f6afd7d13333612f49aefe95963e1bd (patch) | |
| tree | 38e3573738069281fd74a325b2e3bdea06a6944e /doc/manual_src/galois-github-header.txt | |
| parent | a12ed619e3f6c9ec3c164c07e4c8706c9e6344a5 (diff) | |
Doco: make resources paths in generated HTML relative to where they're installed in the github landing pages
Diffstat (limited to 'doc/manual_src/galois-github-header.txt')
| -rw-r--r-- | doc/manual_src/galois-github-header.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual_src/galois-github-header.txt b/doc/manual_src/galois-github-header.txt index 025c3b4..76b6bb2 100644 --- a/doc/manual_src/galois-github-header.txt +++ b/doc/manual_src/galois-github-header.txt @@ -2,7 +2,7 @@ #siteTitle { display: block; height: 100px; - background: url('/css-images/5ive_logo.svg') no-repeat 0px 0px; + background: url('../../css-images/5ive_logo.svg') no-repeat 0px 0px; text-indent: -9999em; margin-bottom: 1em; cursor: pointer; |