/* Style sheet for PlanetLab document web pages */
/* Copyright 2007, Misterblue */

p, td, ul, ol {
    font-size: 10pt;
}

h1,h2,h3,h4,h5 {
	font-size: 20px;
	margin: 0px;
	margin-top: 20px;
	padding: 0px;
	padding-left: 10px;
    background-color: #e0e0ff;
}

code {
    font-family: monospace;
    font-size: 9pt;
}

pre {
    font-size: 9pt;
    font-family: monospace;
    border: 1px solid black;
    width: 80%;
    background: #f0f0f0;
    margin-left: 20px;
    padding: 10px;
}

/* "Index*" used to control the display of the index */
.IndexList {
    font-weight: normal;
    list-style-type: none;
    text-decoration: none;
}

.IndexUpdated {
    font-size: 8pt;
    font-style: italic;
}

/* Used for 'div's that display code samples */
.CommandLineExample {
    margin: 8px 0px 8px 25px;
    font-family: monospace;
}

/* ktag and kref make for reference poitners within the doc */
.ktag {
	border-bottom: 0px;
}

.kref {
	border-bottom: 1px dashed;
}

/* General infomation tables. Usually lists of parameters */
table.infoTable {
	border: 1px solid;
	width: 80%;
	margin-left: 40px;
}

table.infoTable tr {
}

table.infoTable tr td {
	border: 1px solid;
	padding: 5px;
}

/* Levels of the document body */
/* we just indent each section */
.Level1 {
    margin-left: 20px;
}

.Level2 {
    margin-left: 20px;
}

.Level3 {
    margin-left: 20px;
}

.Level4 {
    margin-left: 20px;
}

.Level5 {
    margin-left: 20px;
}