/**
 * DocBook CSS Stylesheet for producing the JpGraph HTML manual
 * 
 * Version: $Id: 5254162e3f1d385af124a1b5a26066b8f855c302 $
 *
 */
@import url("highlight.css");
@import url("book.css");

/* Fancy screen/commands */

pre.screen
{
    margin:0px;
    margin-left:15px;
    padding:0px 5px;
    font-size:10pt;
    display:block;
    font-family:"Bitstream Vera Sans Mono", Courier, monospace;
    font-weight:normal;
    overflow:hidden;
    background:url(img/code-anonymous-middle.png) repeat-y;
}

.terminaltop
{
    margin-left:15px;
    background:url(img/code-anonymous-top.png) no-repeat;
    height:41px;
    /*width: 750px;*/
}

.terminalbottom
{
    margin-left:15px;
    height:37px;
    /*width: 750px;*/
    background:url(img/code-anonymous-bottom.png) no-repeat;
}