Subversion-Projekte lars-tiefland.prado

html
{
        background-image: url('mantisbg.jpg');
        background-repeat: no-repeat;
        background-position: top right;
        background-color: white;
}

body {
        font-family: 'Lucida Grande', Verdana, Geneva, Lucida, Helvetica, Arial, sans-serif;
        font-weight:normal;
        font-size:10pt;
        color:black;
        margin:0px 0px 0px 0px;
        padding:0px;
}

h1, h2, h3, h4
{
        color: #333;
        margin-bottom: 0;
}

h1
{
        padding-bottom: 3px;
        border-bottom: 1px solid #ccc;
}

h1 {
        font-size:14pt;
}

h2 {
        font-size:12pt;
}

h3 {
        font-size:10pt;
        font-weight:bold;
}

a
{
    color: #cc3333;
}

#header {

        font-size:30px;
        font-weight:bold;
        text-align: right;
        color: #666;
        height:100px;
        background-image: url('pradologo.gif');
        background-repeat: no-repeat;
}

#header div.title
{
   display: none;
}

#header div.image
{
    display: block;
    float: right;
    width: 757px;
    height: 100px;
    background-image: url('mantis.jpg');
    background-repeat: no-repeat;
    background-position: top right;
}


.languages
{
        text-align: right;
        margin: 0.5em 1em;
}

.languages ul, .languages li
{
        margin: 0; padding: 0;
        list-style: none;
        display: inline;
}

.languages a.active
{
        color: black;
        text-decoration: none;
}

.mainmenu {
        padding:10px;
        padding-right:10px;
        background:#EDEDED;
        border-bottom: 1px solid #A6A6A6;
        border-top: 1px solid #DCDCDC;
        color:white;
        text-align:right;
        font-size: 9pt;
}

.mainmenu a {
        color:#737373;
        text-decoration:none;
}

.mainmenu a:hover {
        color: #FF0000;
}

#toc {
        background-color: #F3F3F3;
        width:220px;
        padding:0px 10px 0px 10px;
}

#content {
        padding: 1em 1em 1em 1em;
        line-height: 135%;
}

#footer {
        clear:both;
        color: gray;
        font-size:8pt;
        text-align:center;
        margin-top:25px;
        padding:10px;
}

.topic {
        font-size: 9pt;
        padding: 0px 0px 0px 0px;
}

.topic div {
    background-image: url('arrowdown.gif');
    background-repeat: no-repeat;
    background-position: left center;
    margin: 0px;
        font-size: 8pt;
        font-weight:bold;
        color:#2A480A;
        padding: 5px;
        padding-left: 15px;
        border-top: 1px solid #fff;
        border-bottom: 1px solid #E2E2E2;
}

.topic ul
{
    margin: 0px;
    padding: 0px;
}

.topic ul li
{
    list-style: none;
    margin: 0px;
    padding: 5px;
        padding-left: 15px;
        border-bottom: 1px dotted #D8D8D8;
}

.topic a {
        color:#4F811A;
        font-size: 8pt;
        text-decoration: none;
}

.topic a:hover {
        color:#2A480A;
}

.source {
        padding: 0.5em;
        border-style:solid;
        border-width:1px;
        border-color:#eeeeee;
        background-color:#ffffee;
        font-family: "Courier New", Courier, mono;
        margin: 0.2em;
}

.cli
{
        color: white;
        background-color: #555;
}

.source pre {
        font-family: "Courier New", Courier, mono;
        margin: 0;
}

.runbar
{
        margin: 1em 0 1em 0;
}

.runbar a:link, .runbar a:visited {
        background-color:#E2E2E2;
        font-size: 12px;
        font-weight: normal;
        padding: 3px;
        padding-left: 6px;
        padding-right: 6px;
        border-top: 1px solid white;
        border-left: 1px solid white;
        border-bottom: 1px solid #aaaaaa;
        border-right: 1px solid #aaaaaa;
        text-decoration: none;
}

.runbar a:link.active, .runbar a:visited.active, .runbar a:hover {
        background-color:#E2E2E2;
        font-size: 12px;
        font-weight: normal;
        padding: 3px;
        padding-left: 6px;
        padding-right: 6px;
        border-top: 1px solid #aaaaaa;
        border-left: 1px solid #aaaaaa;
        border-bottom: 1px solid white;
        border-right: 1px solid white;
}

#sourceList {
        background-color:#E2E2E2;
        margin:10px 10px 0px 10px;
        padding:10px;
        border:1px solid silver;
}

#sourceView {
        font-family: "Courier New", Courier, mono;
        background-color:#ffffee;
        margin:5px 10px 10px 10px;
        border:1px solid silver;
}

code {
        font-family: "Courier New", Courier, mono;
}

tt {
        font-family: "Courier New", Courier, mono;
        border-bottom: 1px dotted silver;
}

.sampleheader {
        font-size:30px;
        font-weight:bold;
        text-align: right;
        color: #666;
        height:100px;
        background-image: url('pradologo.gif');
        background-repeat: no-repeat;
}

.sampleheader div.title
{
   display: none;
}

.sampleheader div.image
{
    display: block;
    float: right;
    width: 900px;
    height: 100px;
    background-image: url('mantissample.jpg');
    background-repeat: no-repeat;
    background-position: top right;
}

.samplemenu
{
    padding:10px;
        padding-right:10px;
        background:#EDEDED;
        border-bottom: 1px solid #A6A6A6;
        border-top: 1px solid #DCDCDC;
        text-align:right;
        font-size: 9pt;
}

.samplemenu a {
        color:#737373;
        text-decoration:none;
}

.samplemenu a:hover {
        color: #FF0000;
}

.sampleheader a {
        font-size:30px;
        font-weight:bold;
        color: #666;
        text-decoration: none;
}

.samplepanel {
        margin: 0px;
        border: 1px solid silver;
        padding: 10px;
        margin-bottom:10px;
}

.sampletitle {
        width: 100%;
        border-bottom:1px solid silver;
        font-weight:bold;
        margin-bottom:5px;
}

.sampletable {
        width: 100%;
        border-collapse: collapse;
}

td.samplenote {
        width: 300px;
        text-align: right;
        background: #BFE4FF;
        border: 1px solid silver;
        padding: 5px;
        vertical-align: top;
}

td.sampleaction {
        background: #ffffee;
        border: 1px solid silver;
        padding: 5px;
        vertical-align: top;
}


dl
{
        margin: 0 2em;
}

dt
{
        font-weight: bold;
        margin-bottom: 0.15em;
}

dd
{
        margin-left: 2em;
        margin-bottom: 0.75em;
}

.quicksearch .search .searchBox
{
        width: 25em;
}

.quicksearch .search
{
        text-align: center;
        padding: 2em;
}

.searchItem
{
        margin-top: 20px;
        margin-left: 20px;
        margin-right: 20px;
}

.searchItemBody
{
        margin-top: 0em;
        font-size: 0.9em;
}

.searchItemLink
{
        font-size: 1.05em;
}

.searchterm
{
        font-weight: bold;
}

.searchAPIItem
{
        margin-top: 5px;
        margin-left: 20px;
        margin-right: 20px;
}

.searchHeader, .emptyResult
{
        margin-top: 30px;
}

.empty_search_result
{
        text-align: center;
        margin: 30px;
}

/** Comments **/
#comments
{
        margin: 10px;
}

.comment_header
{
        border-bottom: 1px solid silver;
}

.comment_item
{
        padding: 10px;
        border: 1px solid silver;
        margin: 0 10px 10px 10px;
}

.comment_item .number
{
        float: right;
        font-size: 1.5em;
        font-weight: bold;
        color: silver;
}

.comment_item1
{
        background-color: #EDEDED;
}

.comment_item .email
{
        font-weight: bold;
        display: block;
}

.comment_item .date
{
        font-size: 0.85em;
        display: block;
        border-bottom: 1px dotted silver;
}

.comment_item .comment
{
        padding: 10px;
}

.add_comments
{
        margin-top: 2em;
}

.add_comments .comment_email
{
        margin-bottom: 5px;
}

.add_comments .comment_email input
{
        width: 25em;
}

.add_comments .comment_content textarea
{
        width: 75%;
        height: 200px;
        padding: 5px;
}

.add_comments .comment_email label, .add_comments .comment_content label
{
        width: 8em;
        float: left;
        text-align: right;
        padding-right: 5px;
}

.add_comments .add_comment
{
        padding-left: 8.2em;
        padding-top: 0.5em;
}

.add_comments .please_add
{
        padding-left: 8.2em;
}

.add_comments h3, .comment_added h3
{
        border-bottom: 1px solid silver;
}

.comment_preview
{
        margin: 10px;
        padding: 10px;
        border: 1px solid silver;
}

.comment_preview .comment
{
        padding: 10px;
}

.comment_added
{
        margin-top: 3em;
        border-top: 1px dotted silver;
        padding: 10px;
}

.comment_added .comment
{
        padding: 10px;
        margin-top: 10px;
}

.comment_added .thank
{
        background-color: #ffffcc;
        padding: 20px;
}

pre code
{
        display: block;
        padding: 0.5em;
        border-style:solid;
        border-width:1px;
        border-color:#eeeeee;
        background-color:#ffffee;
        font-family: "Courier New", Courier, mono;
        margin: 0.2em;
}

div.tip, div.info, div.note
{
        border-top:2px solid #0cf;
        border-bottom:2px solid #0cf;
        padding:1em 1em 1em 40px;
        margin: 1em 2em;
        border-color: #32CD32;
        background-color: #EBFFCE;
        background-repeat: no-repeat;
        background-position: 10px 50%;
        background-image: url(lightbulb.gif);
}

div.info
{
        border-color: #87CEFA;
        background-color: #EEF9FD;
        background-image: url(information.gif);
}

div.note
{
        border-color: #FFD700;
        background-color: #FFF5E1;
        background-image: url(error.gif);
}

div b.tip
{
        font-size: 1em;
        padding-right: 0.5em;
}

#content img.figure, #content p img.figure
{
        display: block;
        margin: 1em auto;
        background-color: White;
        padding: 15px;
        border: 1px solid #eee;
}

div.caption
{
        text-align: center;
}

table.tabular, table.tabular td, table.tabular th
{
        border: 1px solid #ccc;
        border-collapse: collapse;
        padding: 0.3em;
}

table.tabular
{
        margin: 1em auto;
        width: 80%;
}

table.tabular td
{
        padding: 0.75em;
}


div.last-modified
{
        font-size: 0.8em;
        color: #999;
        margin-top: 5em;
        margin-bottom: -3em;
}

#comment-nav li a#show-comment-link,
#comment-nav li a#add-comment-link,
#comment-nav li a#all-comments-link
{
        background-image: url(comment.gif);
        background-repeat: no-repeat;
        background-position: 7px 50%;
        padding-left: 30px;
}

#comment-nav li a#add-comment-link
{
        background-image: url(comment_add.gif);
}

#comment-nav li a#all-comments-link
{
        background-image: url(comments.gif);
}



.start-page
{
        clear: both;
        height: 300px;
}

.start-block
{
        width: 230px;
        height: 250px;
        float: left;
        padding: 0 15px;
        margin-bottom: 20px;
}

.start-page .examples
{
        border-left: 1px solid #ccc;
        border-right: 1px solid #ccc;
}

img.output
{
        padding: 0.5em;
        border-style:solid;
        border-width:1px;
        border-color:#eeeeee;
        background-color:#ffffee;
        margin: 0.2em;
}