+/*
+ * Global
+ */
+
body {
text-align: justify;
}
font-family: monospace;
}
+/*
+ * Sidebar
+ */
+
#sidebar .panel {
- margin-bottom: 10px;
- color: #666;
+ margin-top: 15px;
box-shadow: none;
}
-#sidebar .panel a {
- color: #666;
-}
-
-#sidebar .panel a:hover {
- color: #333;
-}
-
#sidebar .panel-heading {
padding: 3px 0 0 0;
font-size: 16px;
#sidebar .panel-body ul>li {
padding: 0 0 0 15px;
font-size: 15px;
+ color: #333;
}
-#sidebar .panel-body ul ul>li {
- padding: 0 0 0 30px;
+#sidebar .panel-body ul ul>li,
+#sidebar .panel-body ul ul>li a {
+ padding: 0 0 0 0;
font-size: 14px;
+ color: #666;
}
#sidebar .panel-body ul .list-labeled>li {
- padding: 0 0 0 10px;
- font-size: 14px;
}
#sidebar .panel-body ul ul ul>li {
- padding: 0 0 0 45px;
font-size: 13px;
+ color: #999;
}
#sidebar .panel-heading a:hover, #sidebar .panel ul a:hover {
background-color: transparent;
}
+#sidebar .summary .nav>li>a {
+ padding: 3px 0 0 10px;
+ font-size: 15px;
+ border-left: 2px solid transparent;
+ color: #333;
+}
+
+#sidebar .summary .nav .nav>li>a {
+ padding-top: 2px;
+ padding-left: 15px;
+ font-size: 14px;
+ color: #666;
+}
+
+#sidebar .summary .nav .nav .nav>li>a {
+ padding-left: 20px;
+ font-size: 13px;
+ color: #999;
+}
+
+#sidebar .summary .nav .nav .nav .nav>li>a {
+ font-size: 12px;
+ color: #CCC;
+}
+
+#sidebar .summary .nav>.active>a,
+#sidebar .summary .nav>.active>a:hover,
+#sidebar .summary .nav>li>a:hover {
+ color: #0d8921;
+ background-color: transparent;
+}
+
+#sidebar .summary .nav>.active>a,
+#sidebar .summary .nav>.active>a:hover,
+#sidebar .summary .nav .nav>.active>a,
+#sidebar .summary .nav .nav>.active>a:hover,
+#sidebar .summary .nav .nav .nav>.active>a,
+#sidebar .summary .nav .nav .nav>.active>a:hover {
+ color: #0d8921;
+ border-left: 2px solid #0d8921;
+ margin-left: 0px;
+}
+
+#sidebar .summary .nav>li>a:hover,
+#sidebar .summary .nav .nav>li>a:hover,
+#sidebar .summary .nav .nav .nav>li>a:hover {
+ color: #0d8921;
+ border-left: 1px solid #0d8921;
+ margin-left: 1px;
+ background-color: transparent;
+}
+
+/*
+ * Content
+ */
+
#content {
position: fixed;
top: 30px;
border-left: 2px solid #0d8921;
}
+/*
+ * Page parts
+ */
+
.footer {
padding: 10px;
margin: 20px 0;
margin-bottom: 25px;
}
+.label:empty {
+ display:inline;
+}
+
+.label.intro:before {
+ content: "I";
+}
+.label.redef:before {
+ content: "R";
+}
+.label.inherit:before {
+ content: "H";
+}
+
.signature span.glyphicon {
margin: 0 10px 5px 0;
font-size: 55%;
color: #a94442;
}
+.list-definition .list-definition {
+ margin-left: 30px;
+}
+
+/*
+ * Code Highlighting
+ */
+
.nitcode a { color: inherit; text-decoration: inherit; } /* hide links */
.nitcode a:hover { text-decoration: underline; } /* underline links */
.nitcode span[title]:hover { text-decoration: underline; } /* underline titles */
/* semantic token usage */
.nitcode .nc_v { font-style: italic; } /* local variable or parameter */
.nitcode .nc_vt { font-style: italic; } /* virtual type or formal type */
-
.nitcode .nc_error { border: 1px red solid;} /* not used */
-
-#sidebar .summary .nav>li>a {
- padding: 2px 0 0 15px;
- font-size: 15px;
- border-left: 2px solid transparent;
-}
-
-#sidebar .summary .nav .nav>li>a {
- padding: 2px 0 0 30px;
- font-size: 14px;
- border-left: 2px solid transparent;
-}
-
-#sidebar .summary .nav .nav .nav>li>a {
- padding: 1px 0 0 45px;
- font-size: 13px;
-}
-
-#sidebar .summary .nav .nav .nav .nav>li>a {
- padding: 1px 0 0 60px;
- font-size: 12px;
-}
-
-#sidebar .summary .nav>.active>a,
-#sidebar .summary .nav>.active>a:hover,
-#sidebar .summary .nav>li>a:hover {
- color: #0d8921;
- background-color: transparent;
-}
-
-#sidebar .summary .nav>.active>a,
-#sidebar .summary .nav .nav>.active>a,
-#sidebar .summary .nav .nav>.active>a:hover {
- color: #0d8921;
- border-left: 2px solid #0d8921;
- margin-left: 0px;
-}
-
-#sidebar .summary .nav .nav>li>a:hover {
- color: #0d8921;
- border-left: 1px solid #0d8921;
- margin-left: 1px;
- background-color: transparent;
-}
-
-.label:empty {
- display:inline;
-}
-
-.label.intro:before {
- content: "I";
-}
-.label.redef:before {
- content: "R";
-}
-.label.inherit:before {
- content: "H";
-}
-
-.list-definition .list-definition {
- margin-left: 30px;
-}