source: projects/web/trunk/css/docs.css @ 8397

/* css for documentations */

@import "common.css";
@import "gnome.css";

.important {
        width: 90%;
        margin: auto;
        margin-top: 5px;
        padding: 3px;
        border: solid 3px #666699;
        border-style: solid;
        border-radius: 6px;
        -moz-border-radius: 6px;
        -webkit-border-radius: 6px;
}

.important h3 {
        border-bottom: none;
        font-weight: normal;
        background: url(/images/important-icon.png) no-repeat 0 1px;
        padding-left: 26px;
}

.warning {
        font-size: smaller;
        width: 90%;
        margin: auto;
        margin-top: 5px;
        padding: 3px;
        border: solid 2px #AA6666;
        border-style: solid;
        border-radius: 6px;
        -moz-border-radius: 6px;
        -webkit-border-radius: 6px;
}

.warning h3.title {
        background: url(/images/warning-icon.png) no-repeat 0 1px;
        padding-left: 26px;
}

.note {
        text-indent: 0;
        width: 90%;
        margin: auto;
        margin-top: 5px;
        font-size: smaller;
        padding: 3px;
        border: solid 1px #666699;
        border-radius: 6px;
        -moz-border-radius: 6px;
        -webkit-border-radius: 6px;
}

.note h3 {
        background: url(/images/information-icon.png) no-repeat 0 1px;
        padding-left: 26px;
}

dt span.part, dt span.preface {
        font-size: 16px;
}

dt span.chapter {
        font-size: 14px;
}

dt span.sect1 {
        font-weight: normal;
}

.list-of-figures dt, .list-of-tables dt, .list-of-examples dt {
        font-weight: normal;
}

.guimenu {
        color: MenuText;
        background-color: Menu;
        border-style: outset;
        border-width: 2px;
}

.guimenuitem {
        color: MenuText;
        background-color: Menu;
        border-style: outset;
        border-width: 2px;
}

.guibutton {
        color: ButtonText;
        background-color: ButtonFace;
        border-style: outset;
        border-color: ButtonShadow;
        border-width: 2px;
}

.keycap {
        margin: 3px 3px;  
        padding: 1px 5px 1px 5px;
        border-width: 1px 2px 2px 1px;  
        border-style: solid;  
        border-color: #999;  
        background-color: #F5F5F5;  
        font-family: monospace;
        border-radius: 2px;
        -moz-border-radius: 2px;
        -webkit-border-radius: 2px;
}

.table  .keycap {
        border-style: none;
}

.table {
        margin-top: 20px;
        margin-bottom: 20px;
}

.figure {
        margin-top: 20px;
        margin-bottom: 20px;
}

.graphic {
        margin-top: 10px;
        margin-bottom: 10px;
}
.graphic img {
        max-width: 100%;
}

p.para {
        margin-top: 10px;
}