+++ /dev/null
-../../htdocs/css/lists.archives.css
\ No newline at end of file
+++ /dev/null
-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;
-}
-