/* standard EDoc style sheet */
body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
      	margin-left: .25in;
       	margin-right: .2in;
       	margin-top: 0.2in;
       	margin-bottom: 0.2in;
       	color: #000000;
       	background-color: #ffffff;
}
h1,h2 {
 	margin-left: -0.2in;
}
div.navbar {
	background-color: #f57f17;
	padding: 0.2em;
}
h2.indextitle {
	padding: 0.4em;
	background-color: #f57f17;
}
h3.function,h3.typedecl {
	background-color: #f57f17;
 	padding-left: 1em;
}
div.spec {
 	margin-left: 2em;
	background-color: #eeeeee;
}
a.module,a.package {
	text-decoration:none
}
a.module:hover,a.package:hover {
	background-color: #eeeeee;
}
ul.definitions {
	list-style-type: none;
}
ul.index {
	list-style-type: none;
	background-color: #eeeeee;
}

/*
 * Minor style tweaks
 */
ul {
	list-style-type: square;
}
table {
	border-collapse: collapse;
}
td {
	padding: 3
}

/* SigScale style */
img.diagram {
	display: block;
	margin-left: auto;
	margin-right: auto;
	width: 65%;
}
img.diagram#integration {
	display: block;
	margin-left: auto;
	margin-right: auto;
	width: 50%;
}
img.diagram#decomposition {
	display: block;
	margin-left: auto;
	margin-right: auto;
	width: 50%;
}
img.diagram#interfaces  {
	display: block;
	margin-left: auto;
	margin-right: auto;
	width: 50%;
}
img.diagram#twan {
	display: block;
	margin-left: auto;
	margin-right: auto;
	width: 50%;
}
img.diagram#wlan {
	display: block;
	margin-left: auto;
	margin-right: auto;
	width: 50%;
}
img.diagram#notification {
	display: block;
	margin-left: auto;
	margin-right: auto;
	width: 90%;
}
img.diagram#schema {
	display: block;
	margin-left: auto;
	margin-right: auto;
	width: 50%;
}
img.diagram#pagination {
	display: block;
	margin-left: auto;
	margin-right: auto;
	width: 36%;
}
table#mt, tr#mt, td#mt {
	border: 1px solid black;
	text-align: left;
}
caption#mt {
	text-align: left;
}
th#mt {
	border: 1px solid black;
	padding: 5px;
	background-color: #f57f17;
}
td#mt {
	padding: 5px;
}
table.op, table#op, tr#op, td#opl, td#opr {
	border: 1px solid black;
	text-align: left;
	padding: 5px;
}
caption.op {
	text-align: left;
}
td#opl {
	background-color: #f57f17;
}
td#mt img {
	height: 2em;
}
.alert {
	padding: 20px;
	background-color: red;
	color: white;
	margin-bottom: 15px;
}