@CHARSET "UTF-8";

/**
 * Font
 */
body {
	font-family: sans-serif;
}
samp {
    font-family: monospace;
}
.button {
    font-weight: bold;
    font-size: larger;
    font-family: serif;
    letter-spacing: 0.1em;
}
.button .info {
    letter-spacing: normal;
    font-family: sans-serif;
    font-weight: normal;
    font-size: x-small;
    font-style: italic;
}
.deprecated {
    text-decoration: line-through;
}


/**
 * Color
 */
 div#content {
    border-left-color: #c0c0c0;
}

.error {
    background: red;
    color: white;
}

ul.error {
	border: 0.25em outset red;
}

code.php {
    background: #efefef;
    border-color: #efefef;
}

samp {
    background: black;
    border-color: black;
    color: white;
}

.note {
    color: gray;
}

.button {
    color: white;
    background-color: #40ae13;
}

.button .info {
    color: #92FF30;
}
	


/**
 * Layout
 */
div#menu {
    position: absolute;
    top: 0;
    left: 0;
    width: 14em;
}

div#content {
    position: absolute;
    top: 0;
    left: 15em;
    max-width: 50em;
}


/**
 * Design
 */
a[href*="wikipedia.org"], a[href*="w3.org"], a[href^="mailto:"],
a[href*="php.net"], a[href*="sourceforge.net"], a[rel="Alternate"][hreflang] {
    background-repeat:no-repeat;
    padding-left:25px;
    text-decoration: none;
}

a[rel="Alternate"][hreflang="de"] {
    background-image:url(../images/flags/de.png);
}

a[rel="Alternate"][hreflang="fr"] {
    background-image:url(../images/flags/fr.png);
}

a[rel="Alternate"][hreflang="en"] {
    background-image:url(../images/flags/en.png);
}

a[href*="wikipedia.org"] {
    background-image:url(../images/wikipedia.png);
}

a[href*="sourceforge.net"] {
    background-image:url(../images/sourceforge.png);
}

a[href*="php.net"] {
    background-image:url(../images/php.png);
    padding-left: 40px;
}

a[href*="w3.org"] {
    background-image:url(../images/w3.png);
}

a[href^="mailto:"] {
    background-image:url(../images/mail.png);
}

a.button {
    background-image: none;
}

.button, a.button {
    display: block;
    margin: 1em;
    padding: 1em;
    text-align: center;
    
    /*min-height: 46px;*/

    /* Für Browser die nur ein Hintergrundbild kennen */
    background-image: url(../images/button/top.png);
    background-repeat: repeat-x;
    background-position: top;


    background-image: url(../images/button/top-left.png),    url(../images/button/top-right.png),
                      url(../images/button/bottom-left.png), url(../images/button/bottom-right.png),
                      url(../images/button/top.png),         url(../images/button/bottom.png),
                      url(../images/button/left.png),        url(../images/button/right.png);

    background-repeat: no-repeat, no-repeat,
                       no-repeat, no-repeat,
                       repeat-x, repeat-x,
                       repeat-y, repeat-y;

    background-position: top left,    top right,
                         bottom left, bottom right,
                         top,         bottom,
                         left,        right;
}

.button .info {
    display: block;
}

#menu .button {
    margin-left: 0;
}

samp {
    display: block;
    white-space: pre;
    margin-top: 1em;
    margin-bottom: 1em;

    border-style: solid;
    border-width: 1em;
    
    -moz-border-radius: 1em 1em 1em 1em; /* Mozilla */
    -webkit-border-radius: 1em 1em 1em 1em; /* Chrome */
    border-radius: 1em 1em 1em 1em; /* W3C Standard */
}

code.php {
    display: block;
    margin-top: 1em;
    margin-bottom: 1em;

    border-style: solid;
    border-width: 1em;

    -moz-border-radius: 1em 1em 1em 1em; /* Mozilla */
    -webkit-border-radius:1em 1em 1em 1em; /* Chrome */
    border-radius:1em 1em 1em 1em; /* W3C Standard */
}

.note {
    font-size: smaller;
}

ul.error {
    padding: 1em;
    padding-left: 2em;
}

address {
    white-space: pre;
}

div#languageChooser ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
}

div#languageChooser {
    margin-top: 2em;
}

div#menu span#currentPage {
    font-weight: bold;
}

div#menu a {
    text-decoration: none;
}

div#menu ol {
    list-style-type: none;
    margin: 0;
    padding: 0;
    margin-left: 1em;
}

div#menu, div#content {
    padding: 1em;
}

div#content {
    border-left-width: 0.5em;
    border-left-style: solid;
}

div#content > h1:first-child {
    margin-top: 0;
}

dt {
    font-weight: bold;
    margin-top: 1em;
    margin-bottom: 0.5em;
}
dd {
    margin: 0;
    margin-bottom: 1em;
}