}
-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;
}