Cleanup core branch

[platal.git] / htdocs / css / wiki.css

diff --git a/htdocs/css/wiki.css b/htdocs/css/wiki.css
deleted file mode 100644 (file)
index 89fc8e8..0000000
--- a/htdocs/css/wiki.css
+++ /dev/null
@@ -1,84 +0,0 @@
-table.wiki {
-    margin-left: auto;
-    margin-right: auto;
-    border: 1px dotted gray;
-}
-
-table.wiki td {
-    padding: 2px 1em;
-    vertical-align: middle;
-    text-align: center;
-}
-
-table.wiki select {
-    font-size: 80%;
-}
-
-div.frame br {
-    height: 0px;
-    clear: both;
-}
-
-table.quickref {
-    margin-top: 1em;
-    padding: 0px;
-    border: 1px dotted #aaaaaa;
-    font-size: 95%;
-}
-
-table.quickref tr {
-    padding: 0px;
-    margin: 0px;
-}
-
-table.quickref td {
-    margin: 0px;
-    padding: 4px;
-    border-top: 1px dotted #aaaaaa;
-}
-
-#text {
-    width: 800px;
-}
-
-.diffbox {
-    border: 1px #999999 solid;
-    margin-top: 1.33em;
-}
-.diffauthor {
-    font-weight: bold;
-}
-.diffchangesum {
-    font-weight: bold;
-}
-.difftime {
-    font-size: 66%;
-    background-color: #dddddd;
-}
-.difftype {
-    clear: both;
-    font-size: 66%;
-    font-weight: bold;
-}
-.diffadd {
-    border-left: 5px #99ff99 solid;
-    padding-left: 5px;
-}
-.diffdel {
-    border-left: 5px #ffff99 solid;
-    padding-left: 5px;
-}
-.diffrestore {
-    clear: both;
-    font-size: 66%;
-    margin: 1.5em 0px;
-}
-a.varlink {
-    text-decoration: none;
-}
-a.createlink {
-    font-size: smaller;
-    vertical-align: super;
-    line-height: normal;
-    text-decoration: none;
-}