table: */
/* overflow: visible; */
}
-
-/*
- * Styles for the HTML Diff
- */
-div.diff-switchtype {
- text-align: center;
- font-weight: bold;
- font-size: smaller;
-}
-
-span.diff-html-added {
- font-size: 100%;
- background-color: #20ff20
-}
-
-span.diff-html-removed {
- font-size: 100%;
- text-decoration: line-through;
- background-color: #ff2020
-}
-
-span.diff-html-changed {
- background: url(images/diffunderline.gif) bottom repeat-x;
- /* Hack for IE5.5, see http://lists.wikimedia.org/pipermail/wikitech-l/2008-November/040273.html */
- *background-color: #c6c6fd; /* light blue */
-}
-
-span.diff-html-added img {
- border: 5px solid #ccffcc;
-}
-
-span.diff-html-removed img {
- border: 5px solid #fdc6c6;
-}
-
-span.diff-html-changed img {
- border: 5px dotted #000099;
-}
-
-span.diff-html-changed {
- position: relative; /* this is key */
- cursor: help;
-}
-
-span.diff-html-changed span.tip {
- display: none; /* so is this */
-}
-
-/* tooltip will display on :hover event */
-
-span.diff-html-changed:hover span.tip {
- display: block;
- z-index: 95;
- position: absolute;
- top: 2.5em;
- left: 0;
- width: auto;
- line-height: 1.2em;
- padding: 3px 7px 4px 6px;
- border: 1px solid #336;
- background-color: #f7f7ee;
- font-size: 10px;
- text-align: left;
-}