myriad.css

/* This document is a part of the Ceylan-Myriad Project */
/* Standard Cascading Style Sheet File */


/* Created: 24 May 2003 */

/* Author: Olivier Boudeville */
/* (olivier (dot) boudeville (at) esperide (dot) com) */
/* Updated: Michal Guerquin (michalg@gmail.com) */


pre.code {
	margin-left: 3%;
	background: #DBDBFF;
	text-indent: 0%;
}


.literal {
	color: #162143;
	font-weight: bold;
}


/* For command printouts: */
.literal-block {
	background: #A0C0F0;
	margin-left: 2%;
}


div.box {
	color: #FF0000;
	background: #FFFFFF;
	border: solid;
	padding: 5px;
	border-width: thin;
	text-align: left;
}


div.centered {
	text-align: center;
	margin-left: auto;
	margin-right: auto;
}


div.contents {
	border: solid;
	border-width: thin;
}


body {
	color: #122155;
	background: #FFFFFF;
	font-family: arial, helvetica, sans-serif;
	font-size: 15px;
	text-align: left;
	margin-left: 2%;
	margin-right: 1%;
	margin-top: 2%;
	margin-bottom: 2%;
}


/* At least most titles are hyperlinks, thus changing for example colors in h1,
   h2, etc. is often useless.
 */


h1.Huge {
	color: #00FF00;
	background: transparent;
	font-size: 70px;
	font-weight: bold;
	font-family: Verdana, serif;
	margin-top: 0%;
	margin-bottom: 0;
	margin-left: 2%;
	margin-right: 2%;
	text-align: center;
}


h1.Big {
	color: #00FF00;
	font-family: "Lucida Sans Unicode", serif;
	font-size: 40px;
}


h1 {
	color: #1c3071;
	font-size: 35px;
	background: transparent;
	font-weight: bold;
	text-align: center;
	margin-top: 3%;
	margin-bottom: 1%;
	margin-left: 2%;
	margin-right: 2%;
}


h2 {
	color: #00FF00;
	font-size: 27px;
	background: transparent;
	text-align: left;
	margin-top: 3%;
	margin-bottom: 1%;
}


h3 {
	color: #444444;
	font-size: 22px;
	background: transparent;
	margin-top: 2%;
	margin-bottom: 1%;
	margin-left: 7%;
	margin-right: 4%;
}


h4 {
	color: #3161fc;
	font-size: 20px;
	margin-left: 10%;
	margin-right: 7%;
	margin-top: 2%;
	margin-bottom: 1%;
	font-weight: bold;
}


h5 {
	color: #1c3071;
	font-size: 16px;
	margin-left: 15%;
	margin-right: 15%;
	font-weight: bold;
	margin-top: 2%;
	margin-bottom: 1%;
}


h6 {
	color: #4455dd;
	font-size: 15px;
	margin-left: 30%;
	margin-right: 5%;
	font-weight: bold;
	margin-top: 2%;
	margin-bottom: 1%;
}


h7 {
	color: #555555;
	font-size: 15px;
	margin-left: 10%;
	margin-right: 5%;
	font-weight: bold;
	margin-top: 2%;
	margin-bottom: 1%;
}


div.Visited {
	color: #CCCCCC;
	font-size: 20px;
}


dl {
	color: #000000;
	margin-top: 1%;
	margin-bottom: 1%;
	font-size: 16px;
	margin-left: 8%;
	margin-right: 2%;
	text-align: left;
	font-weight: bold;
}


dt {
	color: #000000;
	background: #10057e;
	font-weight: bold;
	text-indent: 5px;
	line-height: 1.3;
	margin-left: 0%;
	margin-right: 0%;
	margin-top: 1%;
	margin-bottom: 1%;
}


dd {
	font-size: 16px;
	font-weight: normal;
	margin-top: 0%;
	margin-bottom: 2%;
}


p {
	margin-top: 1%;
	margin-bottom: 2px;
	margin-left: 0%;
	margin-right: 3%;
	text-align: justify;
	text-indent: 1%;
}


ul {
	/*color: #353535;*/
	margin-top: 0%;
	margin-bottom: 0%;
	margin-left: 1%;
	text-align: left;
	list-style: square;
	margin-right: 0%;
}


ol {
	/*color: #353535;*/
	margin-top: 0%;
	margin-bottom: 0%;
	margin-left: 1%;
	text-align: left;
	list-style: decimal;
	margin-right: 0%;
}


ul li {
	/*color: #333333;*/
	margin-top: 0%;
	margin-bottom: 4px;
	margin-left: 0%;
	margin-right: 0%;
}


ol li {
	/*color: #333333;*/
	margin-top: 0%;
	margin-bottom: 4px;
	margin-left: 0%;
	margin-right: 0%;
}


ul li ul {
	list-style: circle;
	margin-left: 0%;
}


ul ul ul li {
	list-style: disc;
}


pre {
	font-family: monospace, serif;
}


table {
	color: #000000;
	margin: 5px;
	margin-top: 1%;
	margin-bottom: 2%;
	border: solid;
	border-width: thin;
	border-collapse: separate;
	border-spacing: 5pt;
}


table caption {
	font-size: 15px;
	caption-side: bottom;
	text-align: center;
	font-style: italic;
}


table p, table dl, ol p, ul p, dl p, blockquote p, .note p, .note ul, .note ol, .note dl, li pre, dd pre {
	margin-left: 0;
	margin-right: 0;
}


div.admonition, div.attention, div.caution, div.danger, div.error,
div.hint, div.important, div.note, div.tip, div.warning {
	margin: 2em ;
	border: medium outset ;
	padding: 1em }

div.admonition p.admonition-title, div.hint p.admonition-title,
div.important p.admonition-title, div.note p.admonition-title,
div.tip p.admonition-title {
	font-weight: bold ;
	font-family: sans-serif }

div.attention p.admonition-title, div.caution p.admonition-title,
div.danger p.admonition-title, div.error p.admonition-title,
div.warning p.admonition-title, .code .error {
	color: red ;
	font-weight: bold ;
	font-family: sans-serif }

div.dedication {
	margin: 2em 5em ;
	text-align: center ;
	font-style: italic }

div.dedication p.topic-title {
	font-weight: bold ;
	font-style: normal }

div.figure {
	margin-left: 2em ;
	margin-right: 2em }

div.footer, div.header {
	clear: both;
	font-size: smaller }

div.line-block {
	display: block ;
	margin-top: 1em ;
	margin-bottom: 1em }

div.line-block div.line-block {
	margin-top: 0 ;
	margin-bottom: 0 ;
	margin-left: 1.5em }

div.sidebar {
	margin: 0 0 0.5em 1em ;
	border: medium outset ;
	padding: 1em ;
	background-color: #ffffee ;
	width: 40% ;
	float: right ;
	clear: right }


tr {
	font-family: arial, helvetica, sans-serif;
	font-size: 15px;
	border: thin;
}


th {
	color: #222222;
	font-family: arial, helvetica, sans-serif;
	font-weight: bold;
	font-size: 19px;
	text-align: center;
}


td {
	background: #a0add4;
	font-size: 14px;
}


p.top {
	background: #00FF00;
	margin-left: 1%;
	margin-right: 1%;
}


blockquote {
	margin-left: 8%;
	margin-right: 8%;
	border: thin ridge #DDDDDD;
}


blockquote pre {
	margin-left: 1%;
	margin-right: 1%;
}


/* For code snippets in blockquotes: */

.line {
	font-family: monospace, serif;
}


.line-block {
	font-family: monospace, serif;
	font-size: 14px;
}



#responsive-image-full {
	width: 95%;
	height: auto;
}


#responsive-image-large {
	width: 70%;
	height: auto;
}


#responsive-image-intermediate {
	width: 55%;
	height: auto;
}


#responsive-image-medium {
	width: 40%;
	height: auto;
}


#responsive-image-reduced {
	width: 32%;
	height: auto;
}


#responsive-image-small {
	width: 25%;
	height: auto;
}


#responsive-image-tiny {
	width: 15%;
	height: auto;
}


#responsive-image-xsmall {
	width: 10%;
	height: auto;
}


a img {
	border: none;
	border-color: #000000;
}


dt a:link {
	font-weight: bold;
	color: #ededed;
}


dt a:visited {
	font-weight: bold;
	color: #dddddd;
	margin-top: .8em;
}


td a {
	font-weight: bold;
	font-size: 15px;
}


a:link {
	color:#053CDA;
	background: transparent;
	font-weight: bold;
	text-decoration: none;
	/*font-size: 110%;    */
}


a:visited {
	color: #487df4;
	background: transparent;
	font-weight: bold;
	text-decoration: none;
}


a:hover {
	text-decoration: underline;
}



code {
	color: #FF0000;
	font-size: 17px;
	font-weight: normal;
	font-family: Courier, serif;
	/* disabled:
	background: #00FF00;
	border-left-style: solid;
	border-left-width: 3px;
	border-right-style: none;
	border-top-style: none;
	border-bottom-style: none;
	*/
}


b {
	color: #000000;
	font-size: 16px;
	font-weight: bold;
}


/* Taken from http://www.w3.org/Style/Examples/007/menus.html */

div.banner {
	/*background: #00FF00;*/
	margin: 0;
	font-size: 65%;
	font-weight: bold;
	line-height: 1.0;
	text-align: center;
	position: fixed;
	top: 1em;
	left: auto;
	width: 11em;
	right: 1em;
}


div.banner p {
	/*color: #00FF00;*/
	background: #33488a;
	margin-left: 0em;
	padding: 0em;
	font-family: Arial, sans-serif;
	border: thin outset #000000;
	margin-top: 0%;
	margin-bottom: 0%;
	margin-left: 0%;
	margin-right: 0%;
}


div.banner a, div.banner em { display: block; margin-top: 1px; margin-bottom: 1px; }
div.banner a, div.banner em { border-top: 1px groove #EEEEEE; text-indent: 10px; } /* separator */
div.banner a:first-child { border-top: none; }
div.banner em { color: #FFFFFF; font-weight: bold; } /* head of column */

div.banner a:link { color: #EEEEEE; text-decoration: none; }
div.banner a:visited { color: #CCCCCC; text-decoration: none; }
div.banner a:hover { color: #000000; background: #FFFFFF; }