summaryrefslogtreecommitdiff
path: root/docs/static/css/main.css
diff options
context:
space:
mode:
Diffstat (limited to 'docs/static/css/main.css')
-rw-r--r--docs/static/css/main.css34
1 files changed, 34 insertions, 0 deletions
diff --git a/docs/static/css/main.css b/docs/static/css/main.css
new file mode 100644
index 0000000..4560790
--- /dev/null
+++ b/docs/static/css/main.css
@@ -0,0 +1,34 @@
+a.title {
+ text-decoration: none;
+ color: black;
+}
+
+a.title h1 img {
+ height: 1.4em;
+}
+
+a.title h1 span {
+ vertical-align: top;
+}
+
+div.menu ul {
+ list-style: none;
+ padding-left: 7px;
+}
+
+div.menu ul li {
+ display: inline-block;
+ padding-right: 1.3em;
+}
+
+div.menu ul li a {
+ font-size: 1.2em;
+ color: #444;
+ text-decoration: none;
+}
+
+p.intro {
+ font-size: 1.3em;
+ line-height: 1.3em;
+ margin-top: 0px;
+}