.objectLink-function,
.objectBox-stackTrace,
.objectLink-profile {
- font-family: monospace;
+ font-family: "Liberation Mono", Consolas, "Courier New", monospace;
}
.objectLink-textNode {
.selectorTag,
.selectorId,
.selectorClass {
- font-family: monospace;
+ font-family: "Liberation Mono", Consolas, "Courier New", monospace;
font-weight: normal;
}
}
.selectorValue {
- font-family: monospace;
+ font-family: "Liberation Mono", Consolas, "Courier New", monospace;
font-style: italic;
color: #555555;
}
.nodeBox {
position: relative;
- font-family: monospace;
+ font-family: "Liberation Mono", Consolas, "Courier New", monospace;
padding-left: 13px;
-moz-user-select: -moz-none;
}
/* position DOCTYPE element above/outside the "nodeBox" that contains it */
/* Note: to be fixed in Bug #688439 */
top: -16px;
- font-family: monospace;
+ font-family: "Liberation Mono", Consolas, "Courier New", monospace;
padding-left: 8px;
color: #999;
white-space: nowrap;
#attribute-editor-input {
border: none;
padding: 2px 5px;
- font-family: monospace;
+ font-family: "Liberation Mono", Consolas, "Courier New", monospace;
font-size: 11px;
}