svg log replacement, changes code vertical scrolling

vector-of-bool · Aug 3, 2014 · c411daa · c411daa
1 parent d97aa24
commit c411daa
Show file tree

Hide file tree

Showing 5 changed files with 992 additions and 5 deletions.
diff --git a/doc/SConstruct b/doc/SConstruct
@@ -18,7 +18,8 @@
 
 ## Image file names to process
 SVG_FILES = [
-   "autobahntestsuite.svg"
+   "autobahntestsuite.svg",
+   "autobahn.svg"
 ]
 
 ## Directory with image files to process

diff --git a/doc/_static/css/page.css b/doc/_static/css/page.css
@@ -54,6 +54,18 @@ code, kbd, pre, samp, span.pre {
    font-size: 13px;
 }
 
+/* scrolling for both code with and without line numbers  */
+[class^="highlight-"],
+[class*=" highlight-"] {
+   overflow: auto;
+   margin-bottom: 1em;
+}
+.highlight {
+   display: table;
+}
+
+
+
 ul, ol {
    line-height: 1.6em;
 }
@@ -283,12 +295,31 @@ li.hidden-sm {
 
 /* pygments code block shouldn't word wrap, but show overflow on scroll */
 
-div.highlight {
+div.highlight, table.highlighttable {
    width: 100%;
+   margin-left: 0;
+}
+
+td.linenos {
+   width: 1px;
+}
+
+table.highlighttable td {
+   padding-right: 0;
+}
+
+.highlighttable .linenos pre {
+   font-size: 13px;
+   color: #B6B62C;
+}
+
+.highlighttable .code pre {
+   font-size: 13px;
 }
 
 .highlight pre {
    word-wrap: normal;
+   margin: 0;
 }
 
 .highlight .hll {
@@ -343,7 +374,7 @@ p.admonition-title {
 }
 
 .note p.admonition-title {
-   color: #027eae;   
+   color: #027eae;
 }
 
 .warning {

diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html
@@ -25,7 +25,7 @@
    <div class="extendedFooter">
       <div class="logoblock">
          <p class="logo">
-           <a href="{{ pathto('pages/index') }}"><img class="logo" src="{{ pathto('_static/img/logo.png', 1) }}" height="200" width="200" alt="Autobahn|Testsuite"/></a>
+           <a href="{{ pathto('pages/index') }}"><img class="logo" src="{{ pathto('_static/img/gen/autobahn.svg', 1) }}" height="200" width="200" alt="Autobahn|Testsuite"/></a>
          </p>
          <h3><strong>Autobahn</strong>|Testsuite</h3>
          <p>

diff --git a/doc/_templates/side-primary.html b/doc/_templates/side-primary.html
@@ -1,6 +1,6 @@
 <div id="logoblock">
    <p class="logo">
-     <a href="{{ pathto('pages/index') }}"><img class="logo" src="{{ pathto('_static/img/logo.png', 1) }}" height="200" width="200" alt="Autobahn|Testuite"/></a>
+     <a href="{{ pathto('pages/index') }}"><img class="logo" src="{{ pathto('_static/img/gen/autobahn.svg', 1) }}" height="200" width="200" alt="Autobahn|Testuite"/></a>
    </p>
    <h3><strong>Autobahn</strong>|Testsuite</h3>
    <p>