Minor changes
diff --git a/public/style.css b/public/style.css
index 16a36e3..3964bbb 100644
--- a/public/style.css
+++ b/public/style.css
@@ -7,6 +7,10 @@
margin: 0;
}
+a {
+ color: inherit;
+}
+
#top {
background-color: #7ba400;
-webkit-box-sizing: border-box; /* Safari/Chrome, other WebKit */
@@ -171,10 +175,10 @@
cursor: pointer;
background-color: #496000;
position: fixed;
- font-size: 12pt;
- width: 11pt;
- height: 12pt;
- padding: 4pt;
+ font-size: 16pt;
+ width: 16pt;
+ height: 17pt;
+ padding: 6pt;
bottom: 0;
left: 0;
border-top-right-radius: 5pt;
@@ -240,12 +244,6 @@
text-align: right;
}
-#search {
- margin-left: 30px;
- margin-right: 15px;
- margin-bottom: 40px;
-}
-
#tutorial {
position: fixed;
display: block;
@@ -309,9 +307,23 @@
}
h1 span {
- margin-left: -3000px;
+ margin-left: -3000px;
+}
+
+#search {
+ margin-bottom: 44px;
+}
+
+#search.match {
+ margin-top: 14pt;
}
main {
- padding: 20px;
+ margin-left: 30px;
+ margin-right: 14px;
+}
+
+main.embedded {
+ margin-left: 14px;
+ margin-right: 14px;
}
\ No newline at end of file