.manual {
    font-size: 10pt;
    line-height: 17pt;
    font-family: sans-serif;
}



.manual .title h1 {
    font-size: 24pt;
}

.title {
    text-align: center;
    margin: 2in;
    line-height: 24pt;
}

.title p {
    font-size: 20pt;
    line-height: 20pt;
}

.manual .image img, .manual div.image, .manual div.crop .manual {
    clear: both;
    float: right;
    /*margin-top: 20px;*/
    margin-left: 20px;
    text-align: center;
    font-style: italic;
}

div.image img{
    border: 1px solid #aaa;
}

.manual div.caption {
   clear:both; 
}

.manual div.image {
    width: 350px;
}

.manual div.large {
    width: 450px;
}

.manual div.small {
    width: 300px;
}

.larger {
    float: right;
}

.manual ul.toc li {
    list-style-type: none;
    padding-left: 10px;
    /*color: #40a0a0;*/
    font-size: 11pt;
    font-weight: bold;
    padding: 5px 0px 0px 15px;
}

.manual ul.toc li li {
    font-size: 10pt;
    font-weight: normal;
    padding: 0px 0px 0px 15px;
}

.manual ul {
    padding-left: 2em;
}

#about_manual {
    margin-top: 2em;
}

#manual_nav {
    clear: both;
    text-align: center;
    width: 300px;
    margin: 50px auto 30px auto;
}

.manual .normal {
}

.manual .break {
    clear: both;
}

.manual .page-break {
    page-break-before: always;
}

.manual .no-page-break {
    page-break-before: auto;
}

.manual h1, .manual h2, .manual h3, .manual h4, .manual h5, .manual h6 {
    clear: both;
    margin-top: 1.8em;
}

.manual h1 {
    font-size:1.6em;
    margin-top: 2em;
}

.manual h2 {
    font-size:1.4em;
    margin-top: 1.8em;
}

.manual h3 {
    font-size:1.1em;
    margin-top: 1.8em;
}

.manual h4 {
    font-size: 1em;
    margin-top: 1.2em;
    margin-bottom: .1em;
}

.manual h5 {
    font-size: .9em;
    margin-top: 1.0em;
    margin-bottom: .1em;
}

.ys {
    background-image:url('/static/images/user_manual/image005.png');
}

.bm {
    background-image:url('/static/images/user_manual/image045.png');
}

.c {
    background-image:url('/static/images/user_manual/image093.png');
}

.cp {
    background-image:url('/static/images/user_manual/image063.png');
}

.tool {
    width: 21px;
    height: 20px;
}

.icon_box {
    padding: 3px 1px 1px 3px;
    background-color: #626;
    width:22px;
    height: 22px;
}

.highlight {
    background-color: rgb(242, 220, 242);
    text-align: left;
    padding: 1em;
}

.highlight pre {
    font-style: normal;
}

.hotkey-title {
    width: 120px;
}

.hotkey-command {
    width: 100px;
    font-weight: bold;
}

.hotkeys li {
    list-style: none;
}