# $Id: //depot/wcm/main/das-p2p/2009/style.css#1 $
# $DateTime: 2008/06/20 14:11:41 $

body {
    background: white;
    color: black;
    margin: 0px;
    padding: 0px;
    border-width: 0px;
}

a {
    text-decoration: none;
    color: #7f140b;
    font: arial, sans-serif;
    font-weight: bold;
}

a:hover {
    color: red;
}

#header {
    background: #7f140b;
    height: 130px;
}

#header-title {
    background: #7f140b;
    position: absolute;
    left: 174px;
    top: 0px;
}

#header-bar {
    background: #7f140b;
    position: absolute;
    left: 174px;
    top: 108px;
}

#canvas {
	margin-top:    5px;
	margin-bottom: 5px;
    margin-left:   10px;
    margin-right:  10px;
    font: 11pt arial, sans-serif;
}

#footer {
    color: #7f140b;
	margin-top:    5px;
	margin-bottom: 5px;
    margin-left:   10px;
    margin-right:  10px;
    font: arial, sans-serif;
    font-size: x-large;
    font-weight: bolder;
}

#box {
	border-right: #646464 1px solid;
	padding-right: 0.5em;
	border-top: #646464 1px solid;
	padding-top: 0.5em;
	border-left: #646464 1px solid;
	padding-left: 0.5em;
	border-bottom: #646464 1px solid;
	padding-bottom: 0.5em;
	margin-left: 1em;
	margin-right: 2em;
    font: arial, sans-serif;
}

pre {
	border-right: #646464 1px solid;
	padding-right: 0.5em;
	border-top: #646464 1px solid;
	padding-top: 0.5em;
	border-left: #646464 1px solid;
	padding-left: 0.5em;
	border-bottom: #646464 1px solid;
	padding-bottom: 0.5em;
	margin-left: 1em;
	margin-right: 2em;
	background-color: #e6e6e6;
    font: arial, sans-serif;
}

.menu {
    float: left;
    height: 22px;
}

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

.menu li.on, .menu li.off {
    float: left;
    height: 22px;
    border: 0px;
    margin: 0px;
    text-align: center;
    text-decoration: none;
    font: 12pt arial, sans-serif;
    font-weight: bold;
}

.menu li.off {
    color: white;
	background-color: #7f140b;
}

.menu li.on {
    color: gray;
	background-color: white;
    padding-left:  7px;
    padding-right: 7px;
}

.menu a {
    text-decoration: none;
    color: white;
    padding-left:  7px;
    padding-right: 7px;
    text-align: center;
    text-decoration: none;
    font: 12pt arial, sans-serif;
    font-weight: bold;
}

.menu a:hover {
    color: white;
    background-color: #9f342b;
    padding-bottom: 3px;
}

.note {
    font-style: italic;
}

.important {
    color: red;
}

.unimportant {
    color: gray;
}

.nolink {
    text-decoration: none;
    color: #7f140b;
    font: arial, sans-serif;
    font-weight: bold;
}

# end of style.css