path: root/doc/style.css

/* Scaladoc style sheet */

a:link {
	color: #0000ee;
}

a:visited {
	color: #551a8b;
}

a:active {
	color: #0000ee;
}

body {
	background-color: #ffffff;
}

div.entity {
	margin: 18px 0px 18px 0px;
	font-size: x-large;
	font-weight: bold;
}

div.doctitle {
	font-weight: bold;
	font-style: italic;
}

div.doctitle-larger {
	margin: 0px 0px 10px 0px;
	font-size: larger;
	font-weight: bold;
}

div.kinds {
	margin: 0.6em 0 0 0; /* top right bottom left */
	font-weight: bold;
}

div.page-title {
	margin: 15px 0px 15px 0px;
	font-size: x-large;
	font-weight: bold;
	text-align: center;
}

div.source {
	font-size: smaller;
	color: gray;
}

span.entity {
	color: #ff6666;
}

table.member {
	margin: 0 0 1.2em 0; /* top rigth bottom left */
	border-collapse: collapse;
	border: 2px inset #888888;
	width: 100%;
}

table.member td.title {
	border: 2px inset #888888;
	background-color: #ccccff;
	font-size: x-large;
	font-weight: bold;
}

table.inherited {
	margin: 0 0 1.2em 0; /* top rigth bottom left */
	border-collapse: collapse;
	border: 2px inset #888888;
	width: 100%;
}

table.inherited td.title {
	background-color: #eeeeff;
	font-weight: bold;
}

table.member-detail {
	margin: 10px 0px 0px 0px;
	border-collapse: collapse;
	border: 2px inset #888888;
	background-color: #ffffff;
	width: 100%;
}

table.member-detail td.title {
	border: 2px inset #888888;
	background-color: #ccccff;
	font-size: x-large;
	font-weight: bold;
}

table.navigation {
	border-collapse: collapse;
	width: 100%;
	font-family: Arial,Helvetica,Sans-Serif;
}

td.inherited-members {
	border-top: 2px inset #888888;
	border-right: 0px;
}

td.inherited-owner {
	background-color: #eeeeff;
	font-weight: bold;
}

td.modifiers {
	border-top: 2px inset #888888;
        border-right: 2px inset #888888;
	width: 50px;
	text-align: right;
}

td.navigation-enabled {
	font-weight: bold;
	color: #000000;
	background-color: #eeeeff;
}

td.navigation-links {
	width: 100%;
	background-color: #eeeeff;
}

td.navigation-selected {
	font-weight: bold;
	color: #ffffff;
	background-color: #00008b;
}

td.signature {
	border-top: 2px inset #888888;
	width: 90%;
}

ul.list {
	margin: 0;
	padding: 0;
	list-style: none;
}