background-color: #9C9CFF;
color: #000000;
font-weight: bold;
- padding: 3px 0px 2px 6px;
- -moz-border-radius: 8px 0px 0px 0px;
+ padding-top: 3px;
+ padding-bottom: 2px;
+ -moz-padding-start: 6px;
+ -moz-padding-end: 0px;
+ border-radius: 8px 0px 0px 0px;
}
#engineTabs {
- padding: 2px 0px 2px 0px;
+ padding: 2px 0px;
/* don't know why its not setting the color */
background-color: #9C9CFF;
}
}
#engineTabs > button {
- -moz-border-radius: 8px 8px 0px 0px;
- margin-left: 5px;
- margin-right: 5px;
+ border-radius: 8px 8px 0px 0px;
+ -moz-margin-start: 5px;
+ -moz-margin-end: 5px;
}
#internetresultstree {