summaryrefslogtreecommitdiff
path: root/site/docs/0.6.1/css/main.css
diff options
context:
space:
mode:
Diffstat (limited to 'site/docs/0.6.1/css/main.css')
-rwxr-xr-xsite/docs/0.6.1/css/main.css106
1 files changed, 106 insertions, 0 deletions
diff --git a/site/docs/0.6.1/css/main.css b/site/docs/0.6.1/css/main.css
new file mode 100755
index 000000000..31122d563
--- /dev/null
+++ b/site/docs/0.6.1/css/main.css
@@ -0,0 +1,106 @@
+/* ==========================================================================
+ Author's custom styles
+ ========================================================================== */
+
+.navbar .brand {
+ height: 50px;
+ width: 110px;
+ margin-left: 1px;
+ padding: 0;
+}
+
+.version {
+ line-height: 30px;
+ vertical-align: bottom;
+ font-size: 12px;
+ padding: 0;
+ margin: 0;
+ font-weight: bold;
+ color: #777;
+}
+
+.navbar-inner {
+ padding-top: 2px;
+ height: 50px;
+}
+
+.navbar-inner .nav {
+ margin-top: 5px;
+ font-size: 15px;
+}
+
+.navbar .divider-vertical {
+ border-right-color: lightgray;
+}
+
+.navbar-text .version-text {
+ color: #555555;
+ padding: 5px;
+ margin-left: 10px;
+}
+
+body #content {
+ line-height: 1.6; /* Inspired by Github's wiki style */
+}
+
+.title {
+ font-size: 32px;
+}
+
+h1 {
+ font-size: 28px;
+ margin-top: 12px;
+}
+
+h2 {
+ font-size: 24px;
+ margin-top: 12px;
+}
+
+h3 {
+ font-size: 21px;
+ margin-top: 10px;
+}
+
+pre {
+ font-family: "Menlo", "Lucida Console", monospace;
+}
+
+code {
+ font-family: "Menlo", "Lucida Console", monospace;
+ background: white;
+ border: none;
+ padding: 0;
+ color: #444444;
+}
+
+a code {
+ color: #0088cc;
+}
+
+a:hover code {
+ color: #005580;
+ text-decoration: underline;
+}
+
+.container {
+ max-width: 914px;
+}
+
+/**
+ * Make dropdown menus in nav bars show on hover instead of click
+ * using solution at http://stackoverflow.com/questions/8878033/how-
+ * to-make-twitter-bootstrap-menu-dropdown-on-hover-rather-than-click
+ **/
+.dropdown-menu {
+ /* Remove the default 2px top margin which causes a small
+ gap between the hover trigger area and the popup menu */
+ margin-top: 0;
+}
+ul.nav li.dropdown:hover ul.dropdown-menu{
+ display: block;
+}
+a.menu:after, .dropdown-toggle:after {
+ content: none;
+}
+