webapps.wiki: moving class description to wiki.css.

diff --git a/extra/webapps/wiki/wiki.css b/extra/webapps/wiki/wiki.css
index 5fa8348b63f88a4c4c3fece0207264c26cf70d1c..5e612964975fda0d7714a0f24549dbefd5b0cd45 100644 (file)
--- a/extra/webapps/wiki/wiki.css
+++ b/extra/webapps/wiki/wiki.css
@@ -74,6 +74,38 @@
     border-bottom: none;
 }
 
+.description pre {
+    padding: 5px;
+    border: 1px dashed #ccc;
+    background-color: #f5f5f5;
+}
+
+.description h1 { font-size: 1.5em; }
+.description h2 { font-size: 1.17em; }
+.description h3 { font-size: 1.0em; }
+.description h4 { font-size: 0.83em; }
+.description h5 { font-size: 0.67em; }
+
+.description p:first-child { margin-top: 0px; }
+.description p:last-child { margin-bottom: 0px; }
+
+.description table, .description td {
+    border-color: #666;
+    border-style: solid;
+}
+
+.description table {
+    border-width: 0 0 1px 1px;
+    border-spacing: 0;
+    border-collapse: collapse;
+}
+
+.description td {
+    margin: 0;
+    padding: 4px;
+    border-width: 1px 1px 0 0;
+}
+
 .footer {
     border-top: 1px solid #ccc;
     padding-left: 15px;

diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index 6932d1e13619d60700577d902ea93b6220a2e951..b95bfc658ec589e9b38493480b6289cfa352c492 100644 (file)
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -25,6 +25,11 @@ table {
     border-collapse: collapse;
 }
 
+pre {
+    overflow: auto;
+    font-size: smaller;
+}
+
 .link-button {
     padding: 0;
     background: none;
@@ -64,37 +69,3 @@ a:hover, .link:hover { text-decoration: underline; }
 .big-field-label {
     vertical-align: top;
 }
-
-.description pre {
-    padding: 5px;
-    border: 1px dashed #ccc;
-    background-color: #f5f5f5;
-    overflow: auto;
-    font-size: smaller;
-}
-
-.description h1 { font-size: 1.5em; }
-.description h2 { font-size: 1.17em; }
-.description h3 { font-size: 1.0em; }
-.description h4 { font-size: 0.83em; }
-.description h5 { font-size: 0.67em; }
-
-.description p:first-child { margin-top: 0px; }
-.description p:last-child { margin-bottom: 0px; }
-
-.description table, .description td {
-    border-color: #666;
-    border-style: solid;
-}
-
-.description table {
-    border-width: 0 0 1px 1px;
-    border-spacing: 0;
-    border-collapse: collapse;
-}
-
-.description td {
-    margin: 0;
-    padding: 4px;
-    border-width: 1px 1px 0 0;
-}