remove the redirection (does not work with htmlscrubber)
[homepage.git] / local.css
index aae1d9a..e845890 100644 (file)
--- a/local.css
+++ b/local.css
@@ -1,4 +1,121 @@
-a.paper_download img {
-  float: left;
-  border-right: 5px;
+body {
+  font-family: sans-serif;
+  font-size: medium;
 }
+h1, h2, h3 {
+  font-weight: normal;
+}
+h1 { font-size: 140%; }
+h2 { font-size: 130%; }
+h3 { font-size: 120%; }
+h4 { font-size: 110% }
+
+a { text-decoration: none; }
+a:hover { text-decoration: underline; }
+
+img.flow {
+  float: right;
+  margin-left: 10px;
+}
+
+input {
+  border: solid 1px;
+  border-color: #aaa;
+}
+
+.header { font-weight: normal; }
+
+.selflink { text-decoration: underline; }
+
+.actions ul,
+#sitemeta {
+  border-top: solid 1px;
+  border-bottom: solid 1px;
+  font-size: small;
+  border-color: #aaa;
+  background: #eee;
+}
+.actions ul {
+  padding: 1px;
+  margin-top: 5px;
+}
+#sitemeta {
+  padding: 0;
+  margin-bottom: 5px;
+}
+#backlinks,
+.tags {
+  margin-top: 0;
+  margin-bottom: 0;
+}
+
+#pageinfo {
+  border: none;
+}
+
+#searchform div:before {
+  font-size: small;
+  content: "search:";
+}
+#searchform input {
+  border-top: none;
+  border-bottom: none;
+  vertical-align: bottom;
+  margin-right: 7px;
+}
+
+#sidebar {
+  border: solid;
+  border-width: 1px;
+  padding: 0;
+  margin-top: 15px;
+  border: 1px solid;
+  border-color: #aaa;
+  background: #eee;
+  width: 16ex;
+}
+#sidebar ul {
+  margin: 0;
+  padding-left: 1em;
+  list-style-type: none;
+}
+#sidebar ul ul {
+  padding-left: 1.5em;
+  font-size: 90%;
+}
+
+#pageinfo,
+#footer {
+  margin: 0;
+}
+#pageinfo {
+  font-size: small;
+}
+.pagecopyright,
+.pagelicense,
+.pagedate {
+  margin: 0;
+  display: inline;
+}
+#backlinks {
+  margin-top: 5px;
+  margin-bottom: 10px;
+  font-size: larger;
+}
+.validation {
+  display: inline;
+  float: right;
+}
+
+table.identikit tr th {
+  text-align: right;
+  vertical-align: top;
+}
+table.identikit tr th:after {
+  content: ":";
+}
+table.identikit tr td {
+  text-align: left;
+  vertical-align: top;
+}
+