$THEME->borders = "#C6BDA8"; // Table borders\r
$THEME->highlight = "#849DBC"; // Highlighted text (eg after a search)\r
$THEME->hidden = "#979EA8"; // To color things that are hidden\r
-$THEME->autolink = "#849DBC"; // To color auto-generated links (eg glossary)\r
+$THEME->autolink = "#FEF9F6"; // To color auto-generated links (eg glossary)\r
\r
$THEME->custompix = false; // If true, then this theme must have a "pix" \r
// subdirectory that contains copies of all \r
text-decoration: none;\r
color: #000000;\r
background-color: <?PHP echo $THEME->autolink?>;\r
+ border-bottom: dashed 1px #000000;\r
+ cursor: help;\r
}\r
\r
a.autolink:visited {\r
text-decoration: none;\r
color: #000000;\r
background-color: <?PHP echo $THEME->autolink?>;\r
+ border-bottom: dashed 1px #000000;\r
+ cursor: help;\r
}\r
\r
a.autolink:hover {\r
- text-decoration: underline;\r
- color: #990000;\r
+ text-decoration: none;\r
+ border-bottom: solid 1px #000000;\r
+ color: #000000;\r
+ cursor: help;\r
}\r
\r
.userinfobox {\r