diff --git a/src/docbook/css/jbossorg.css b/src/docbook/css/jbossorg.css index fd8d268070..7afd70b242 100644 --- a/src/docbook/css/jbossorg.css +++ b/src/docbook/css/jbossorg.css @@ -97,9 +97,9 @@ sup {color:#999;} /* Custom overrides */ -pre, code { +tt, tt *, pre, pre *, code, code * { font-size: 100% !important; - font-family: "Liberation Mono", "Consolas", "Monaco", "Vera Sans Mono", "Courier New", monospace !important; + font-family: "Liberation Mono", "DejaVu Sans Mono", Consolas, Monaco, "Vera Sans Mono", "Lucida Console", "Courier New", monospace !important; } pre a:link * {color:#0066cc !important;} diff --git a/src/javadoc/stylesheet.css b/src/javadoc/stylesheet.css index 48f59f7db0..0bacaf2f14 100644 --- a/src/javadoc/stylesheet.css +++ b/src/javadoc/stylesheet.css @@ -25,10 +25,9 @@ font { hr { display: none; } -pre, code, tt { - font-family: "Liberation Mono", "Consolas", "Monaco", "Vera Sans Mono", "Courier New", monospace !important; +tt, tt *, pre, pre *, code, code * { + font-family: "Liberation Mono", "DejaVu Sans Mono", Consolas, Monaco, "Vera Sans Mono", "Lucida Console", "Courier New", monospace !important; } - a:link { color:#0066cc; } a:visited { color:#8b5caf; } a:hover { color:#6699cc; } diff --git a/src/xref/stylesheet.css b/src/xref/stylesheet.css index 063fe236d4..9fd07347fb 100644 --- a/src/xref/stylesheet.css +++ b/src/xref/stylesheet.css @@ -21,8 +21,8 @@ font { hr { display: none; } -pre, code, tt { - font-family: "Liberation Mono", "Consolas", "Monaco", "Vera Sans Mono", "Courier New", monospace !important; +tt, tt *, pre, pre *, code, code * { + font-family: "Liberation Mono", "DejaVu Sans Mono", Consolas, Monaco, "Vera Sans Mono", "Lucida Console", "Courier New", monospace !important; } a:link { color:#0066cc; }