1 files changed, 84 insertions, 0 deletions
diff --git a/Doc/Manual/style.css b/Doc/Manual/style.css
new file mode 100644
index 0000000..02329e5
--- /dev/null
+++ b/Doc/Manual/style.css
@@ -0,0 +1,84 @@
+div.sectiontoc {
+  border-style: dotted;
+  border-width: 2px;
+  padding: 2pt;
+}
+
+h2 { 
+  padding: 3px;
+  color: #000000;
+  border-bottom: 2px 
+  solid #dddddd; 
+}
+
+h3, h4 {
+  margin-left: 1em;
+}
+
+p,li,table,dl {
+  margin-left: 2em;
+  margin-right: 2em;
+}
+
+div.indent {
+  margin-left: 4em;
+  margin-right: 4em;
+}
+
+div.code {
+  border-style: solid; 
+  border-width: 1px; 
+  padding: 2pt; 
+  margin-left: 4em;
+  margin-right: 4em;
+  background-color: #F0FFFF;
+}
+
+div.targetlang {
+  border-style: solid; 
+  border-width: 1px; 
+  padding: 2pt; 
+  margin-left: 4em;
+  margin-right: 4em;
+  background-color: #d7f6bb;
+}
+
+
+div.shell {
+  border-style: solid; 
+  border-width: 1px; 
+  padding: 2pt; 
+  margin-left: 4em;
+  margin-right: 4em;
+  background-color: #DCDCDC;
+}
+
+div.diagram {
+  border-style: solid; 
+  border-width: 1px; 
+  padding: 2pt; 
+  margin-left: 4em;
+  margin-right: 4em;
+  background-color: #FFEBCD;
+}
+
+ul li p {
+  margin-left: 0;
+  margin-right: 0;
+}
+
+ol li p {
+  margin-left: 0;
+  margin-right: 0;
+}
+
+dl dd p {
+  margin-left: 0;
+  margin-right: 0;
+}
+
+div.indent p {
+  margin-left: 0;
+  margin-right: 0;
+}
+