}
-code {
+pre code {
font-family: Courier, monospace;
white-space: pre;
display: block;
clear:left;
text-align: right;
}
- #pluginslist {
+ #addonslist {
margin: 0; padding: 0;
}
- .plugin {
+ .addon {
list-style: none;
display: block;
border: 1px solid #888888;
margin-left: 2.5em;
}
}
- .toggleplugin {
+ .toggleaddon {
float:left;
margin-right: 1em;
}
width: 16px; height: 16px;
}
.selectall { text-align: right; }
+ .settings-block {
+ border-bottom: 1px solid #cccccc;
+ }
}
/* edit buttons for comments */