1 files changed, 44 insertions, 0 deletions
diff --git a/skins/standard/params.css b/skins/standard/params.css
new file mode 100644
index 000000000..4f46353bd
--- /dev/null
+++ b/skins/standard/params.css
@@ -0,0 +1,44 @@
+#menu {
+  width: 10em;
+  margin-top: 1em;
+  margin-right: 0.5em;
+  border: solid thin;
+  border-spacing: 0px;
+  border-collapse: collapse;
+  text-align: center;
+  color: black;
+  background-color: #edf2f2;
+  font-weight: normal;
+}
+
+#menu a:link, #menu a:visited {
+  color: #039;
+  background-color: transparent;
+}
+
+#menu a:hover, #menu a:active {
+  color: red;
+  background-color: transparent;
+}
+
+#menu td {
+  border: solid thin;
+  padding: 0.2em 0.5em;
+}
+
+table td {
+  vertical-align: top;
+}
+
+td.selected_section {
+  color: #090;
+  background-color: white;
+}
+
+dt {
+  font-weight: bold;
+}
+
+dd {
+  margin-bottom: 1.5em;
+}