/* 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;
}