From 7a48aada7b2379d4fd80dca0ac5903daf1301fc8 Mon Sep 17 00:00:00 2001
From: ftimme <ft@falkotimme.com>
Date: Thu, 30 May 2013 13:30:52 -0400
Subject: [PATCH] - Added styles for manual.
---
interface/web/themes/default/css/styles.css | 23 +++++++++++++++++++++++
1 files changed, 23 insertions(+), 0 deletions(-)
diff --git a/interface/web/themes/default/css/styles.css b/interface/web/themes/default/css/styles.css
index d5b337e..67e296f 100644
--- a/interface/web/themes/default/css/styles.css
+++ b/interface/web/themes/default/css/styles.css
@@ -1840,4 +1840,27 @@
a.link-page.current-page {
background-color: #DFDFDF;
font-weight: bold;
+}
+
+.command {
+ padding: 1em;
+ border: 1px dashed #2f6fab;
+ color: black;
+ background-color: #f9f9f9;
+ line-height: 1.1em;
+ font-family: Courier New, Courier, mono;
+ font-size: 12px;
+ font-style: italic;
+}
+.system {
+ color: black;
+ font-family: Courier New, Courier, mono;
+ font-size: 12px;
+ font-style: italic;
+}
+.highlight {
+ color: #FF0000;
+ font-family: Georgia, "Times New Roman", Times, serif;
+ font-size: 12px;
+ text-decoration: underline;
}
\ No newline at end of file
--
Gitblit v1.9.1