.definition, .theorem {
  background-color: rgba(147,149,152, 0.1);
  margin-bottom: 0.425em;
}

.example, .assumption {
  background-color: rgba(147,149,152, 0.3);
  margin-bottom: 0.425em;
}

.definition span.example, .theorem span.assumption, .example span.example, .assumption span.assumption {
  background-color: rgba(147,149,152, 0);
}

.book-body .page-wrapper .page-inner section.normal h1,
.book .book-body .page-wrapper .page-inner section.normal b, .book .book-body .page-wrapper .page-inner section.normal strong
{
  color: rgba(224,0,52,1);
}

.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal h1,
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal h1
{
  color: rgba(224,0,52,1);
}
.book-body .page-wrapper .page-inner section.normal h1 span.header-section-number {
  color: black;
}

.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal h1 span.header-section-number {
  color: #704214;
}
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal h1 span.header-section-number {
  color: #fffffa;
}

div#header {
   background-color: white;
   color: black;
   background-image: images/ju_rgb_positive.jpg;
   margin-left: -15px;
   margin-right: -15px;
}
#header h1.title {
  background-color: #E00034;
  color: white;
  padding: 2.5em 15px 0.425em;
}
#header .author {
  background-color: white;
  color: #E00034;
  padding-left: 15px;
  padding-right: 15px;
}

#header .author em {
  font-style: normal;
}

pre {
  line-height: 1.2;
} 

.book .book-body .page-wrapper .page-inner section.normal div.sourceCode, 
.book .book-body .page-wrapper .page-inner section.normal pre {
  margin-bottom: 0px;
  padding-botom: 0px;
}

.book .book-body .page-wrapper .page-inner section.normal pre:last {
  color: blue;
}

.book .book-body .page-wrapper .page-inner section.normal div.sourceCode pre.sourceCode {
  border: 1px solid black;
}