test_parser: add option `-x` to output XML
[nit.git] / share / nitdoc / css / nitdoc.css
index de3cd83..41a10b4 100644 (file)
@@ -19,11 +19,33 @@ ul li .label {
        font-family: monospace;
 }
 
+code {
+       color: #333;
+       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
  */
@@ -138,23 +160,23 @@ ul li .label {
 
 #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;
 }
@@ -169,10 +191,6 @@ ul li .label {
        display: none;
 }
 
-#content article {
-       padding: 10px 0px;
-}
-
 #content article:target {
        padding-left: 10px;
        margin-left: -10px;
@@ -189,7 +207,7 @@ ul li .label {
 }
 
 .subtitle {
-       margin-bottom: 25px;
+       margin-bottom: 10px;
 }
 
 .label:empty {
@@ -212,7 +230,7 @@ ul li .label {
        vertical-align: middle;
 }
 
-.signature a, .list-definition a {
+.signature a, .list-definition a, .info.signature a {
        color: #0d8921;
 }
 
@@ -232,7 +250,7 @@ ul li .label {
        text-align: center;
 }
 
-.synopsys {
+.nitdoc .synopsys {
        margin: 5px 0;
        font-size: 16px;
        font-weight: bold;
@@ -255,6 +273,20 @@ ul li .label {
        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
  */