-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Front Page
-
All Articles
-
Recent Changes
-
Random Article
-
-
-
-
- Edit Profile
-
-
- Logout
-
-
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+ Front Page
+ All Articles
+ Recent Changes
+ Random Article
+
+
+
+
+ Edit Profile
+
+
+ Logout
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/extra/webapps/wiki/wiki-contents.css b/extra/webapps/wiki/wiki-contents.css
index 321c412269..c53dcfff34 100644
--- a/extra/webapps/wiki/wiki-contents.css
+++ b/extra/webapps/wiki/wiki-contents.css
@@ -1,10 +1,10 @@
#left {
float: left;
- width: 180px;
+ width: 200px;
border-right: 1px solid #ccc;
background: #f3f2ea;
}
#right {
- margin-left: 180px;
+ margin-left: 200px;
}
diff --git a/extra/webapps/wiki/wiki.css b/extra/webapps/wiki/wiki.css
index 4ed03ce3be..5fa8348b63 100644
--- a/extra/webapps/wiki/wiki.css
+++ b/extra/webapps/wiki/wiki.css
@@ -1,18 +1,9 @@
-body {
- margin: 0;
-}
-
-#container {
- margin: 0 auto;
- width: 100%;
-}
-
#left {
width: 0;
}
#right {
- max-width: 800px;
+ width: 800px;
}
.comparison th {
@@ -56,18 +47,17 @@ body {
}
.contents {
- font-size: smaller;
+ font-size: 90%;
margin: 0;
padding: 0;
padding-left: 10px;
padding-right: 10px;
- line-height: 125%;
}
.contents ul {
list-style-type: none;
margin: 0;
- padding-left: 10px;
+ padding-left: 20px;
}
.page {
diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index 9eb41b0f51..e72702b987 100644
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -6,6 +6,10 @@ html {
box-sizing: inherit;
}
+body {
+ margin: 0;
+}
+
body, button {
font-size: 12pt;
font-family: sans-serif;
@@ -31,6 +35,10 @@ a, .link { color: #104e8b; }
a:link, a:visited, a:active, .link { text-decoration: none; }
a:hover, .link:hover { text-decoration: underline; }
+#container {
+ max-width: 1000px;
+}
+
.error { color: #a00; }
.errors li { color: #a00; }
diff --git a/extra/websites/concatenative/page.xml b/extra/websites/concatenative/page.xml
index 5f9611c21b..7f490c7d0b 100644
--- a/extra/websites/concatenative/page.xml
+++ b/extra/websites/concatenative/page.xml
@@ -16,8 +16,12 @@
-
-
+
+
+
+
+
+