nitdoc: generates documentation using `doc_down`.

[nit.git] / share / nitdoc / css / nitdoc.css

diff --git a/share/nitdoc/css/nitdoc.css b/share/nitdoc/css/nitdoc.css
index a9b4326..41a10b4 100644 (file)
--- a/share/nitdoc/css/nitdoc.css
+++ b/share/nitdoc/css/nitdoc.css
@@ -24,11 +24,28 @@ code {
        border: 1px solid #ddd;
 }
 
+pre code {
+       border: none;
+}
+
 .navbar-default .navbar-toggle {
        margin-top: 2px;
        padding: 5px 10px;
 }
 
+h3 {
+       margin: 10px 0;
+}
+
+article {
+       padding: 10px 0px;
+}
+
+article.nospace {
+       padding: 0;
+       margin: 0;
+}
+
 /*
  * Sidebar
  */
@@ -143,23 +160,23 @@ code {
 
 #content>.col {
        height: 100%;
-       overflow: hidden;
-}
-
-#content>.col:hover {
        overflow-y: scroll;
 }
 
-#content>.col::-webkit-scrollbar {
-    width: 7px;
-       height: 7px;
+#content>.col::-webkit-scrollbar-thumb {
+       background: transparent;
 }
 
-#content>.col::-webkit-scrollbar-thumb {
+#content>.col:hover::-webkit-scrollbar-thumb {
        background: #CCC;
        -webkit-box-shadow: inset 1px 1px 0 rgba(0,0,0,0.10),inset 0 -1px 0 rgba(0,0,0,0.07);
 }
 
+#content>.col::-webkit-scrollbar {
+    width: 7px;
+       height: 7px;
+}
+
 #content>.col::-webkit-scrollbar-thumb:hover {
        background: #999;
 }
@@ -174,10 +191,6 @@ code {
        display: none;
 }
 
-#content article {
-       padding: 10px 0px;
-}
-
 #content article:target {
        padding-left: 10px;
        margin-left: -10px;
@@ -194,7 +207,7 @@ code {
 }
 
 .subtitle {
-       margin-bottom: 25px;
+       margin-bottom: 10px;
 }
 
 .label:empty {
@@ -217,7 +230,7 @@ code {
        vertical-align: middle;
 }
 
-.signature a, .list-definition a {
+.signature a, .list-definition a, .info.signature a {
        color: #0d8921;
 }
 
@@ -237,7 +250,7 @@ code {
        text-align: center;
 }
 
-.synopsys {
+.nitdoc .synopsys {
        margin: 5px 0;
        font-size: 16px;
        font-weight: bold;
@@ -260,6 +273,20 @@ code {
        margin-left: 30px;
 }
 
+.source-link {
+       display: none;
+       float: right;
+       margin-top: 10px;
+}
+
+.source-link a {
+       color: #0d8921;
+}
+
+article:hover .source-link, article:target .source-link {
+       display: block;
+}
+
 /*
  * Code Highlighting
  */