Sophie

Sophie

distrib > Mageia > 7 > aarch64 > by-pkgid > b3bdfe6d859a3d6920ff2c44b38e9a6f > files > 2964

saxon-manual-9.4.0.9-2.mga7.noarch.rpm



/* 
Text blue: #3D5B96
Dark blue: #c1cede
Mid blue: #e4eef0 
Light blue: #f6fffb
mid green #B1CCC7
rust #96433D
*/

/* used for frameset holders */
.bgnd {
	margin-top:0;
	margin-left:0;
	background: #f6fffb;
	}

/* used for menu */

.menu {
	background: #f6fffb;
	margin-top:20;
	margin-left:40;
	SCROLLBAR-FACE-COLOR: #c1cede; 
	SCROLLBAR-HIGHLIGHT-COLOR: #e4eef0; 
	SCROLLBAR-SHADOW-COLOR: #e4eef0; 
	SCROLLBAR-ARROW-COLOR: #f6fffb; 
	SCROLLBAR-BASE-COLOR: #e4eef0;
}

/* used for content pages */

.main {
	background: #e4eef0;
	margin-top:10px;
	margin-left:5px;
	margin-right:5px;
	margin-bottom:20px;
	SCROLLBAR-FACE-COLOR: #c1cede; 
	SCROLLBAR-HIGHLIGHT-COLOR: #e4eef0; 
	SCROLLBAR-SHADOW-COLOR: #e4eef0; 
	SCROLLBAR-ARROW-COLOR: #f6fffb; 
	SCROLLBAR-BASE-COLOR: #e4eef0;
}

/* used for menu links */

a {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 8pt;
	font-style:normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: none;
}

/* used for in body links */

a.bodylink {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9pt;
	font-style:normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: underline;
}

/* used for table of contents level 1 */

a.toc1 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12pt;
	font-style:normal;
	color: #3D5B96;
	font-weight: bold;
	text-decoration: none;
}

/* used for table of contents level 2 */

a.toc2 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
	font-style:normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: none;
}

/* used for menu heading */
.title {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
	font-style:normal;
	color: #3D5B96;
	font-weight: bold;
	text-decoration: none;
	line-height: 1.3em;
}

/* used for main page headings */


h1 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 14pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: bold;
	text-decoration: none;
		}

/* used for subheads in pref. to H2 etc, to limit underlining width */

.subhead {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: bold;
	text-decoration: none;
	border-bottom : thin dashed #3D5B96;
	padding-right : 5px;
}

/* used for standard text */

p {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: none;
	line-height: 1.3em;
	padding-right:15px;
}

code {
		font-family: lucida sans typewriter, courier, monospace;
	font-size: 8pt;
	font-style: normal;
	font-weight: normal;
	text-decoration: none;
	line-height: 1.3em;
}

ul {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: none;
}

li {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: normal;

}

/* used for text in boxed areas */

.boxed {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 8pt;
	font-style: normal;
	color: #96433D;
	font-weight: bold;
	text-decoration: none;
	margin-top:5px;
	margin-bottom:5px;
}

/* used for example code */

.codeblock {
    background: #B1CCC7;
    /*background: #e4eef0;*/
	font-family: lucida sans typewriter, courier, monospace;
	font-size: 8pt;	
	font-style: normal;
	color: #96433D;
	font-weight: normal;
	text-decoration: none;
	padding-right:15px;
}

/* used for example commands */

.command {
	font-size: 8pt;	
	font-style: normal;
	color: #96433D;
	font-weight: bold;
	text-decoration: none;
	padding-right:15px;
}



/* used for links in boxed areas */

a.rust {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 8pt;
	font-style:normal;
	color: #96433D;
	font-weight: bold;
	text-decoration: underline;
}

/* used for links at the end of a page */

a.nav {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 8pt;
	font-style:normal;
	color: #96433D;
	font-weight: bold;
}