/* Vorgabe f�r den Haupttext */
body {
    font-family:        arial, helvetica, sans-serif;
    font-size:          100%;
    text-align:		justify;
    margin-left:        110px;
    margin-top:         10px;
    margin-right:       30px;
    margin-bottom:	10px;
    color:              #000000;
    background-image:   url(http://www.cc65.org/images/cc65-bg.png);
    background-repeat:  repeat-y;
    background-color:   #FFFFFF;
}
a:active {
    color:		#FF0000;
    text-decoration:	underline;
}
a:link {
    color:		#0000FF;
    text-decoration:	underline;
}
a:visited {
    color: 		#000080;
    text-decoration:	underline;
}

/* Menu im Seitentitel */
div#menu {
    width:  		100%;
    padding:   		0px;
    border-top:		1px solid #808080;
    border-bottom:	1px solid #808080;
}
div#innermenu {
    display: 		table;
    margin-left:	auto;
    margin-right:	auto;
    padding:		0px;
}
div#menu ul {
    margin:  	       	0px;
    padding: 	 	4px;
    list-style-type: 	none;
    white-space:	nowrap;
}
div#menu li {
    display: 	 	inline;
}
div#menu a {
    margin:		0px 3px 0px 3px;
    padding:   	       	1px 1em 1px 1em;
    border:  		1px solid #303030;
    text-decoration:	none;
    width: 		160px;
}
div#menu a:link, div#menu a:visited, div#menu a:active {
    background-color:	#909090;
    color:   	  	#000000;
}
div#menu a:hover {
    color:  	  	#DB3232;
    background-color:	#FFFFFF;
}
li#here a:link, li#here a:visited, li#here a:active {
    background-color:	#909090;
    color:  	  	#DB3232;
}
li#here a:hover {
    background-color:	#909090;
    color:  	  	#DB3232;
}

/* Bild als �berschrift */
img.header {
    text-align:		left;
    float:  		left;
    clear:  		both;
    font-size:		120%;
    font-weight:	bold;
    margin-top:		2em;
    margin-bottom:	1em;
    margin-left:	0px;
    margin-right:	0px;
}

p {
    clear:  		both;
}

pre {
    font-family: 	monospace;
}

/* Don't draw a border around images using within a hyperlink */
a img {
    border:		0px;
}

/* A list made up by a table, left indented, used in several contextes */
table.list {
    margin-left:	3%;
    clear:  		both;
}

/* Table used for the backlink at the end of the page */
table.backlink {
    margin-top:		2em;
    margin-bottom:	1em;
    margin-left:	0px;
    margin-right:	0px;
}

/* A box made like a banner */
div.banner {
    border:             2px solid #808080;
    width:		80%;
    clear:		both;
    padding-left:	2em;
    padding-right:	2em;
    padding-top:	1em;
    padding-bottom:	1em;
    margin-left:	auto;
    margin-right:	auto;
    margin-top:		1em;
    margin-bottom:	1em;
}

/* News page */
div.newsitem {
    border:             2px solid #DB3232;
    width:              100%;
    margin-top:		3em;
    margin-bottom:	3em;
    margin-left:	0px;
    margin-right:	0px;
}
div.newsdate {
    text-align:		right;
    margin-left:	auto;
    margin-right:	5px;
    margin-top:		5px;
    margin-bottom:	1em;
    float:		right;
    color:		#808080;
    font-size:		120%;
    font-weight:	bold;
}
div.newsheader {
    text-align:		left;
    margin-left:	5px;
    margin-right:	auto;
    margin-top:		5px;
    margin-bottom:	1em;
    float:		left;
    font-size:		120%;
    font-weight:	bold;
}
div.newstext {
    text-align:		justify;
    margin:		5px;
    clear:		both;
}

/* FAQ page */
table.faq {
    width:		100%;
    clear:		both;
    margin-top:		1em;
    margin-bottom:	2em;
    margin-left:	0px;
    margin-right:	0px;
}
pre.example {
    clear:		both;
    background-color:	#E0E0E0;
    padding-top:	1em;
    padding-bottom:	1em;
}

/* Development page */
div.develop {
    margin-left:	20px;
    margin-right:	20px;
    margin-top:		3em;
    margin-bottom:	2em;
}

/* Known bugs page */
div.bugs {
    margin-left:	20px;
    margin-right:	20px;
    margin-top:		1em;
    margin-bottom:	3em;
}