Attachment 141008 Details for Bug 187733 – docs.css.linenum_v5.patch

[patch] docs.css.linenum_v5.patch

docs.css.linenum_v5.patch (text/plain; charset=windows-1252), 1.06 KB, created by Allan Jude on 2014-03-19 20:40:57 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Allan Jude

Created: 2014-03-19 20:40:57 UTC

Size: 1.06 KB

patch

obsolete

>Index: share/misc/docbook.css
>===================================================================
>--- share/misc/docbook.css	(revision 44280)
>+++ share/misc/docbook.css	(working copy)
>@@ -272,7 +272,7 @@
> 	background-color: #edc;
> 	border-style: solid;
> 	border-color: #EEB985;
>-	border-width: 0 0 0 24px;
>+	border-width: 0 0 0 2.25em;
> 	border-radius: 6px;
> 	counter-reset: code;
> }
>@@ -284,7 +284,7 @@
> 	background-color: #eee;
> 	border-style: solid;
> 	border-color: #BABABA;
>-	border-width: 0 0 0 24px;
>+	border-width: 0 0 0 2.25em;
> 	border-radius: 6px;
> 	counter-reset: code;
> }
>@@ -292,18 +292,19 @@
> span.verbatim {
> 	counter-increment: code;
> 	display: block;
>-	padding: 0 13px 0 29px;
>+	padding: 0 0.5em 0 3.5em;
> 	position: relative;
>-	margin: 0 -8px 0 -24px;
>+	margin: 0 -0.3em 0 -3em;
> 	overflow: hidden;
> }
> 
> span.verbatim:before {
>-	width: 24px;
>-	text-align: right;
>-	content: counter(code) " ";
>+	width: 3em;
>+	text-align: center;
>+	content: counter(code);
> 	position: absolute;
>-	left: -10px;
>+	left: 0;
>+	color: #404040;
> }
> 
> @media screen {  /* hide from IE3 */

Actions: View | Diff

Attachments on bug 187733: 141008