Userstyle for freedesktop.org man pages

fdo-man.css

@-moz-document regexp(".*freedesktop\\.org\\/software\\/.*\\/man\\/.*") {

body {
	font-family: Arial, Helvetica;
}

.refentry {

    max-width: 960px;
	margin: 1em auto;
}

a {
	border-bottom: thin solid;
	color: rgb(0,0,192);
	font-weight: bolder;
	text-decoration: none;
}

a:visited {
	color: rgb(160,0,160);
}

a:active {
	color: rgb(192,0,0);
}
a:active, a:focus, a:hover {
	border-bottom-width: medium;
}

blockquote {
	margin: 10pt;
}

table, td, th { 
    border: 1px #000 solid;
    border-collapse: collapse;
}

td, th {
    padding: 0.5em;
}

th {
    background: #f0f0f0;
}

p {
	font-family: Arial, Helvetica;
    line-height: 1.5;
    max-width: 80ch;
}

pre, code {
	background-color: #f0f0f0;
}

pre {
	padding: 0.5em;
	border: 1px #efefef solid;
}

h1 {
	font-weight: bold;
	text-decoration: none;
}

h2 {
	font-weight: bold;
	text-decoration: none;
}

dl {
	font-weight: normal;
	text-decoration: none;
	color: #333333;
}


}