
/* CSS for the usage examples HTML (generated via make) */

.fg-black { color: black; }
.fg-red { color: red; }
.fg-green { color: #33cc00; }
.fg-yellow { color: yellow; }
.fg-blue { color: blue; }
.fg-magenta { color: magenta; }
.fg-cyan { color: cyan; }
.fg-white { color: white; }

.bg-black { background-color: black; }
.bg-red { background-color: red; }
.bg-green { background-color: #33cc00; }
.bg-yellow { background-color: yellow; }
.bg-blue { background-color: blue; }
.bg-magenta { background-color: magenta; }
.bg-cyan { background-color: cyan; }
.bg-white { background-color: white; }

.bright-fg-black { color: black; }
.bright-fg-red { color: red; }
.bright-fg-green { color: #33cc00; }
.bright-fg-yellow { color: yellow; }
.bright-fg-blue { color: blue; }
.bright-fg-magenta { color: magenta; }
.bright-fg-cyan { color: cyan; }
.bright-fg-white { color: white; }

.bright-bg-black { background-color: black; }
.bright-bg-red { background-color: red; }
.bright-bg-green { background-color: #33cc00; }
.bright-bg-yellow { background-color: yellow; }
.bright-bg-blue { background-color: blue; }
.bright-bg-magenta { background-color: magenta; }
.bright-bg-cyan { background-color: cyan; }
.bright-bg-white { background-color: white; }

.bold { font-weight: bold; }

.underlined { text-decoration: underline; }
.double-underlined { text-decoration: underline; }

html, body {
	padding: 0;
	margin: 0 0 100px 0;
	font-family: Baskerville, Times, "Times New Roman", serif;
	}

#main {
	width: 800px;
	padding: 0;
	margin: 0;
	}

#visualParams {
	width: 300px;
	position: fixed;
	left: 810px;
	top: 0;
	background: #eee;
	padding: 0px 10px 20px 10px;
	}

#visualParams > form > ul > li > em {
	font-weight: bold;
	font-style: normal;
	color: #777;
	}
#visualParams ul li {
	margin-top: 3px;
	}

#main > p, #main > pre, #main > div, #main > table {
	margin-left: 200px;
	}

#title {
	margin: 0 0 10px 0 !important;
	background: #555;
	color: white;
	padding: 30px 0 20px 200px;
	font-family: Baskerville, Georgia, Times, "Times New Roman", serif;
	font-size: 35px;
	font-weight: bold;
	font-style: italic;
	}

h1, h2, h3 {
	padding-left: 200px;
	font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
	border-bottom: 1px solid #999;
	margin-top: 40px;
	}

h1 {
	font-size: 24px;
	background: #888;
	color: white;
	-moz-border-radius-topright: 15px;
	-moz-border-radius-bottomright: 15px;
	-webkit-border-top-right-radius: 15px;
	-webkit-border-bottom-right-radius: 15px;
	border-top-right-radius: 15px;
	border-bottom-right-radius: 15px;
	}

h2 {
	font-size: 18px;
	}

h3 {
	font-size: 16px;
	}

code {
	border: 1px solid #ddd;
	background: #eee;
	padding: 0 4px 0 4px;
	white-space: nowrap;
	}

code.output {
	max-width: 320px;
	background: black;
	color: white;
	display: block;
	border: 1px solid black;
	padding: 10px;
	float: right;
	margin: 0 0 10px 20px;
	overflow: hidden;
	}

pre.command {
	border: 1px dotted #ff9999;
	background: #ffffcc;
	padding: 10px;
	}

pre.command code {
	border: none;
	background: none;
	white-space: pre-wrap;
	}

table.formattingConfig {
	font-family: "Lucida Sans", sans-serif;
	font-size: 13px;
	border-collapse: collapse;
	}
table.formattingConfig th, table.formattingConfig td {
	padding: 2px 5px;
	border: 1px solid #999;
	}
table.formattingConfig th {
	background: #999;
	color: white;
	}

