/**
 * sludge2.css
 * ~~~~~~~~~~~~
 *
 * This is the stylesheet for the SLUDGE website.
 *
 * :copyright: (c) 2010 Tobias Hansen
 * :license: GNU GPL 3
 */

html, body {
	background-color: #b3ab9a;
	background-image: url(images/lumpy.png);
}

body {	
	min-width:540px;
	margin: 20px;
	border:5px solid black;
	background-color:#FFFFFF;
	background-image: none;
	color:black;
	font-family:sans-serif;
	font-size:large;
}

table {	
	padding:10px;
	border:none;
}

td {
	padding:15px;
}

a:link, a:visited{
	color: #00a500;
	text-decoration:none;
}

a:hover, a:active{
	color:black;
	text-decoration:underline;
}

hr {
	border:0;
	height:5px;
	color:black;
	background-color:black;
}

#headerGraphic{
	margin-top:60px;
	margin-bottom:-20px;
	display:block;
	margin-left:auto;
	margin-right:auto;
}

#menuColumn {
	vertical-align:top;
	padding-top:40px;
}

#menuColumn .fixed{
}

#menuColumn li{
	list-style-type:none;	
}

#menuColumn ul{
	margin:0px;
	padding:0px;
}

#menuColumn a:link, #menuColumn a:visited{
	text-decoration:none;
	font-weight:bold;
}

#menuColumn a:hover, #menuColumn a:active{
	text-decoration:none;
	font-weight:bold;
}

/* Sub menu */
#menuColumn ul li ul li a:link, #menuColumn ul li ul li a:visited{
	color: black;
	font-weight:normal;
}

#menuColumn ul li ul li a:hover, #menuColumn ul li ul li a:active{
	color: #00a500;
	font-weight:normal;
}

/* Margin of sub menu items */
#menuColumn ul li ul{
	margin-left:15px;
}

#mainColumn h3{
	margin-bottom:0px;
}

pre {
	color:#BB4444;
	font-family:monospace;
	font-weight:bold;
}

P.copyright-notice {
	font-size:small;
	font-weight:bold;
	margin-bottom:6px;
	text-align:center;
}

.syntax {
	font-size:x-large;
}

.syntax-deprecated {
	font-size:x-large;
	color:#FF8888;
}

div.bash {
	color: white;
	font-family: monospace;
	font-weight:normal;
	background-color: #454545;
	border: 1px solid #666;
	margin: 0.3em 1em;
	padding: 3px;
	clear: none;
	overflow: auto;
}

div.news {
	border:5px solid black;
	padding-left:20px;
	padding-right:20px;
	padding-top:10px;
	padding-bottom:10px;
	margin-left:0px;
	margin-right:0px;
	margin-top:10px;
	margin-bottom:10px;
}

p.news-date {
	font-size:medium;
	text-align:right;
	margin-top:0px;
}

.image-small-right {
	max-height:150px;
	max-width:200px;
	float:right;
	margin-left:20px;
	margin-bottom:10px;
	border:5px solid black;
}

.image-small-right:hover {
	max-height:none;
	max-width:none;
}

.image-gallery {
	width:200px;
	float:left;
	clear:both;
	margin-right:20px;
	margin-bottom:20px;
}

.image-gallery:hover {
	width:auto;
}

div.separator {
	clear:both;
}
