/*
 * programming.css
 */

/* links */
a {
	text-decoration: none;
}
a:link {
	/* color: #1fffcf; */
	color: #af6f1f;
}
a:visited {
	/* color: #1f1fdf; */
	color: #6f9f3f;
}
a:active {
	color: #ef3f3f;
}
a:hover{
	background-color : #ffdfd0;
}

/* basic document structures */
body {
	margin-top: 2ex;
	margin-left: 3%;
	margin-right: 3%;
	/* font-size: 11pt; */
	line-height: 1.4em;
	color: darkblue;
	/* font-family: sans-serif; */
}
h1,h2,h3,h4,h5,h6 {
	font-weight: normal;
	font-family: sans-serif;
	line-height: 1.3em;
}
h1,h2,h3,h4,h5,h6 {
	color: #005f9f;
}
p {
	margin-left: 1em;
	text-indent: 1em;
}
p.practice{
	text-indent: 0;
}
dl {
	margin-left: 3em;
}
dt {
	font-weight: bolder;
}
pre.source {
	margin-left: 2em;
	padding: 1ex 1em 1ex 1em;
	background: #dfffff;
}
pre.source_em {
	background: #ffdfef;
}
pre.source_short {
	margin-left: 1em;
	margin-right: 1em;
	padding: 0.5ex 1em 0.5ex 1em;
	background: #dfffff;
}
pre.terminal {
	margin-left: 2em;
	padding: 1ex 1em 1ex 1em;
	color: #efefef;
	background: #2f2f2f;
}
table {
	margin-left: 1.5em;
	margin-right: 1.5em;
}
div.figure {
	text-align: center;
}
span.path {
	font-family: SansSerif;
	line-height: 1.4em;
}
span.practice {
	font-weight: bolder;
	color: #0f6fdf;
	background-color: #f7e7f7;
	border-width: 1px 2px 2px 1px;
	padding: 2px 2px 2px 2px;
	border-color: #9fbfef;
	border-style: solid;
	margin-right: 0.4em;
}
/* header/footer */
.header {
	margin: 1ex 0em 4ex 0em;
	padding: 0.5ex 1em 0.5ex 3em;
	background: #eff7ef;
	border-width: 0 0 0.8ex 0;
	border-style: solid;
	border-color: #bfbfef;
}
.title {
	margin: 0.2ex 0.5em 0ex 0em;
	/* text-align: center; */
	font-size: 3em;
	font-family: serif;
	line-height: normal;
	color: #8f5fbf;
}
.particle {  /* used on ddws */
	font-size: 0.85em;
}
.keyword {
	font-family: sans-serif;
	font-size: 1.6em;
}
.subtitle {
	font-size: 10pt;
	text-align: right;
	color: #7fafcf;
}
.subheader {
	margin: 3ex 0.5em 2ex 0.5em;
	padding: 0.5ex 1em 0.5ex 1.3em;
	background: #e7f7d7;
	border-width: 0 0 0 2.1ex;
	border-style: solid;
	border-color: #df8f8f;
	font-size: 10pt;
	color: #3f5fef;
}
.footer {
	margin: 2ex 0.5em 2ex 0.5em;
	padding: 1ex 1em 0.5ex 5em;
	border-width: 1ex 0 0 0;
	border-style: solid;
	border-color: #9fbfef;
	font-size: 0.8em;
	text-align: right;
	color: #7fafcf;
}
.account {
	font-size: 80%;
	color: #666666;
	text-align: right;
}
.domain {
	font-size: 80%;
	color: #666666;
	text-align: left;
}