D3313.id7828.diff
No OneTemporary
Actions

Size

700 B

Referenced Files

None

Subscribers

None

D3313.id7828.diff
View Options

	Index: head/share/misc/docbook.css
	===================================================================
	--- head/share/misc/docbook.css
	+++ head/share/misc/docbook.css
	@@ -285,7 +285,7 @@
	white-space: pre;
	overflow: auto;
	font-family: monospace;
	- padding: 1ex;
	+ padding: 1em;
	background-color: #edc;
	border: 1px solid #ccc;
	border-radius: 4px;
	@@ -385,10 +385,12 @@

	.userinput,
	.userinput code {
	+ font-family: monospace;
	font-weight: bold;
	}

	pre.screen strong {
	+ font-family: monospace;
	font-weight: normal;
	}

	@@ -401,3 +403,11 @@
	font-size: small;
	font-style: italic;
	}
	+
	+.literal, .command {
	+ font-family: monospace;
	+}
	+
	+code.prompt {
	+ margin-left: -3px;
	+}