/* $Id$ */

/* See http://www.webreference.com/authoring/style/sheets/layout/advanced/ */

body {
      font-family: Verdana, Tahoma, Arial;
      font-size: 10pt;
      margin: 1em;
      background: #ffffff;
      font-style: normal;
      font-weight: normal;
}

/* Used for highlighting the Veduta name */
.name {
    font-weight: bold;
    color: #000000;
}
/* Used for highlighting code, suffixes etc */
.code {
  font-style: normal;
        font-family: Courier;
        color: #202020;
}
/* Used for quotes */
.quote {
        font-style: italic;
        color: #505050;
        font-family: Serif;
        font-size: 11pt;
}
/* Used for screenshots */
.screenshot {
        padding-top: 40px;
        padding-bottom: 40px;
}

/* Used for important stuff */
.important {
    font-weight: bold;
    color: #000000;
}

/* Used for warning stuff */
.warning {
        color: #000000;
        width: 60em;
        margin: 30px;
        padding: 10px;
        border-width: 1px;
        border-style: solid;
}

/* Used for output stuff */
.output {
        color: #000000;
        width: 60em;
        margin: 30px;
        padding: 10px;
        border-width: 1px;
        border-style: solid;
}

/* Used for informational stuff */
.informational {
        background-color: #ffffdd;
        width: 60em;
        margin: 30px;
        margin-top: 10px;
        padding: 10px;
        border-width: 1px;
        border-style: solid;
}


/* Used for config file stuff */
.config {
        color: #000000;
        width: 60em;
        margin: 30px;
        margin-top: 10px;
        margin-bottom: 10px;
        padding: 10px;
        border-width: 1px;
        border-style: solid;
  font-style: normal;
}
/* Used for config file stuff - quoting in text */
.quoted_config {
        color: #000000;
        background-color: lightgrey;
        font-family: Courier;
}
/* Used for marking the servlet menu options */
.guimenu {
        color: #000000;
        background-color: lightgrey;
        font-weight: bold;
}

a.contents {
}

li.contents {
  padding: 2px;
}
li li.contents {
  list-style-type: lower-roman;
  padding: 0px;
}


/* questions and answers */
.faqq {
  font-style: italic;
}


/* Used for command line options */
.option {
      font-family: Courier;
      color: #000000;
}
.example_index {
      font-family: Courier;
      font-weight: bold;
      margin-left: 5px;
      padding-left: 5px;
      padding-right: 5px;
      color: white;
      background-color: darkgreen;
}

/* Used for command lines */
.cmdline {
        font-family: Courier;
        color: #000000;
        background: lightgrey;
        width: 60em;
        margin: 30px;
        padding: 10px;
  font-style: normal;
}

h1 {
        font-size: 13pt;
}
h2 {
        font-size: 11pt;
}
h3 {
        font-size: 10pt;
}

.next {
  float: right;
  margin-top: -1em;
  font-size: 9pt;
}
.prev {
  float: left;
  margin-top: -1em;
  font-size: 9pt;
}

p.footnote {font-size: 9pt;
            color: #808080;
            margin-top: 10px;
            margin-bottom: 5px;
            margin-right: 10px;
         }