search

lxzliuxinzhu / syntaxhighlighter

Automatically exported from code.google.com/p/syntaxhighlighter
GNU General Public License v3.0
0 stars 0 forks source link

Margins in Tool Links when Using IE #36

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?
1. Look at the highlighted code in IE
2. Hoover over the tools links

What is the expected output? What do you see instead?
Links shift because of missing margin

What version of the product are you using? On what operating system?
1.5.1 on Windows XP in IE 6

Please provide any additional information below.
Just add the margin-right attribute to ".dp-highlighter .tools a:hover" as

.dp-highlighter .tools a:hover
{
    color: red;
    background-color: inherit;
    text-decoration: underline;
    margin-right: 10px;
}
{
    color: red;
    background-color: inherit;
    text-decoration: underline;
    margin-right: 10px;
}

Original issue reported on code.google.com by boy...@gmail.com on 5 Oct 2007 at 1:00