/* set the font familiy to sans-serif */
body {
  font-family: Helvetica,Arial,sans-serif;
  font-size: 12pt;
}

/* set the background color of the sidebar environment */
div.sidebar {
  background-color: lightgrey;
}


/* set the backgroundcolor of an informalexample */
div.informalexample {
  background-color: lightyellow;
}

.title {
  color: #20435C;
}

h1.title, h2.title, h3.title, h4.title {
  padding-left: 5px;
  /*background-image: -moz-linear-gradient(rgba(255, 255, 255, 1.0) 0%, rgba(239, 243, 254, 1.0) 100%);*/
  -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
  -moz-border-radius-topright: 8px;
  -moz-border-radius-topleft: 8px;
  -moz-border-radius-bottomright: 8px;
  -moz-border-radius-bottomleft: 8px;
  
  /*background-image: -webkit-gradient(linear, 0% 0%, 0% 100%, from(rgba(255, 255, 255, 1.0)), to(rgba(239, 243, 254, 1.0)));*/
  -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
  -webkit-border-top-right-radius: 8px;
  -webkit-border-top-left-radius: 8px;
  -webkit-border-bottom-right-radius: 8px;
  -webkit-border-bottom-left-radius: 8px;
}

/* set background color of h1 headings */
h1.title {
  background-color: #EAEFFE;
}

/* set background color of the section */
h2.title {
  background-color: #EAEFFE;
}

h3.title, h4.title {
  padding-left: 6px;
  padding-right: 6px;
  display: inline-block;
}

/* set background color of the section */
h3.title {
  background-color: #F0F4FE;
}

h4.title {
  background-color: #F5F9FE;
  margin-bottom: 0;
}

/* nicer display of variablelists */
span.term {
   font-weight: bold;
}

dd p {
  margin-top: 0.3em;
}

img {
  border: none;
}

hr {
 color: #e0e0e0;
 background-color: #e0e0e0;
}

a {
  color: #355F7C;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

a:visited {
  color: #85546C;
}

a.anchor {
  text-decoration: none;
}

div.list-of-figures dl dt {
  color: #355F7C;
}

div.table-contents {
  padding-left: 20px;
}

div.table-contents table {
  border: 0px;
  border-collapse: collapse;
  border-color: #AAAAAA;
}

div.table-contents th {
  background-color: #F5F9FE;
  padding-left: 2px;
  padding-right: 2px;
  padding-right: 4px;
  font-size: 80%;
}

div.table-contents td {
  padding-left: 2px;
  padding-right: 2px;
  padding-right: 4px;
  font-size: 80%;
}

div.tip th, td {
  color: black;
}


div.note, div.tip, div.warning, div.important {
  
  background-image: -moz-linear-gradient(rgba(255, 255, 255, 1.0) 0%, rgba(239, 243, 254, 1.0) 100%);
  -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
  -moz-border-radius-topright: 8px;
  -moz-border-radius-topleft: 8px;
  -moz-border-radius-bottomright: 8px;
  -moz-border-radius-bottomleft: 8px;
  
  background-image: -webkit-gradient(linear, 0% 0%, 0% 100%, from(rgba(255, 255, 255, 1.0)), to(rgba(239, 243, 254, 1.0)));
  -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
  -webkit-border-top-right-radius: 8px;
  -webkit-border-top-left-radius: 8px;
  -webkit-border-bottom-right-radius: 8px;
  -webkit-border-bottom-left-radius: 8px;

  /* keep 10px space between to keep the shadow visible */
  margin-bottom: 10px;
}

div.important {
  background-image: -moz-linear-gradient(rgba(255, 255, 255, 1.0) 0%, rgba(254, 254, 229, 1.0) 100%);
  background-image: -webkit-gradient(linear, 0% 0%, 0% 100%, from(rgba(255, 255, 255, 1.0)), to(rgba(254, 254, 229, 1.0)));
}

div.warning {
  background-image: -moz-linear-gradient(rgba(255, 255, 255, 1.0) 0%, rgba(254, 213, 219, 1.0) 100%);
  background-image: -webkit-gradient(linear, 0% 0%, 0% 100%, from(rgba(255, 255, 255, 1.0)), to(rgba(254, 213, 219, 1.0)));
}

code.code {
  padding-left: 1px;
  padding-right: 1px;
  background-color: rgb(242,242,242);
}

pre.programlisting {
  margin: 2px 0px 26px 8px;
  padding: 5px;
  font-size: 9pt;

  /* avoid expanding horizontally */
  display: table;

  background-color: rgb(242,242,242);

  border: 1px solid rgb(232,232,232);
  
  -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
  -moz-border-radius-topright: 8px;
  -moz-border-radius-topleft: 8px;
  -moz-border-radius-bottomright: 8px;
  -moz-border-radius-bottomleft: 8px;
  
  -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
  -webkit-border-top-right-radius: 8px;
  -webkit-border-top-left-radius: 8px;
  -webkit-border-bottom-right-radius: 8px;
  -webkit-border-bottom-left-radius: 8px;
}

div.itemizedlist ul {
  padding-left: 20px;
  margin-top: 0px;
  margin-bottom: 0px;
}

div.itemizedlist ul li p {
  margin-top: 0px;
  margin-bottom: 0px;
}

