body {
	font-family: sans-serif;
	margin-left: 10%;
	margin-right: 10%;
	margin-top: 2ex;
	margin-bottom: 3ex;
	background-color: white;
	color: black;
	/*background-color: #fff1db;*/
	background-color: white;
	/*
	background-image: url("gradient.png");
	background-repeat: repeat-x;
	*/
	/*
	background-image: url("gradient2.png");
	background-repeat: repeat-y;
	*/
	/*
	background-image: url("gradient3.png");
	background-repeat: repeat-x;
	*/
	/*
	background-image: url("gradient4.png");
	background-repeat: repeat-y;
	*/
	background-image: url("gradient5.png");
	background-repeat: repeat-x;
}
.heading {
	border: 0;
	color: black;
	font-size: xx-large;
	font-weight: bold;
	padding-bottom: 1ex;
	border-bottom: 1px solid black;
	margin-bottom: 2ex;
	width: 100%;
}
.heading tr {
	border: 0;
}
.heading td {
	border: 0;
}
.heading a {
	text-decoration: none;
	color: black;
}
.title {
	text-align: left;
}
.subtitle {
	text-align: right;
}
.toc {
	padding-left: 2ex;
	border: 1px solid #aaaaaa;
	background-color: white;
	padding-bottom: 1ex;
	border-radius: 10px;
	-moz-border-radius: 10px;
}
.toc ul {
	margin: 0; list-style-type: none;
}
hr {
	margin-top: 3ex;
	margin-bottom: 3ex;
	width: 50%;
}
.note {
	margin-top: 10ex;
	text-align: center;
	font-size: x-small;
}
h1 {
	font-size: x-large;
	margin-top: 2ex;
	color: black;
	margin-left: 2%;
	margin-right: 2%;
}
h2 {
	font-size: large;
	margin-left: 5%;
	margin-right: 5%;
}
p {
	margin-left: 5%;
	margin-right: 5%;
}
ul {
	margin-left: 5%;
	margin-right: 5%;
}
li {
	margin-left: 3%;
	margin-top: 0.5ex;
	margin-bottom: 0.5ex;
}
tt {
	padding-left: 0.5ex;
	padding-right: 0.5ex;
	background: #dddddd;
}
#rgb {
	width: 33%;
	margin: 3ex auto;
}
.button {
	color: white;
	font-weight: bold;
	font-size: x-large;
	text-decoration: none;
	text-align: center;
	display: block;
	padding: 2ex;
	border-radius: 10px;
	-moz-border-radius: 10px;
}
#r {
	background-color: #884444;
	border: 2px solid #880000;
}
#g {
	background-color: #448844;
	border: 2px solid #006600;
}
#b {
	background-color: #444488;
	border: 2px solid #000088;
}
#y {
	background-color: #888844;
	border: 2px solid #666600;
}

#main-support {
    background-color: #448888;
    border: 2px solid #008888;
}

code.commands {
    display:block;
    margin-top: 0.4em;
    padding: 0.7em;
    background: #ccc;
    background: rgba(200, 200, 200, 0.4);
    white-space: pre;
}