/*                                                                      */
/* 		                   HIGHLIGHTS                       		    */
/*                                                                      */
/* v001 02 Aug 2019 -   Initial version created from WOL mobile.css     */
/* v002 06 Aug 2019 -   Modified to new content element names           */
/* v003 07 Aug 2019 -   New rule to sort out highlight box top margin   */
/*                                                                      */
/*                                                                      */


.highlight-box {
  border: solid 1px #232F5D /* BAT Blue */;
  padding: 20px 20px 15px 20px;          /* (see new rule below) */
  margin-bottom: 20px;
  -webkit-border-radius: 10px;
  -moz-border-radius: 10px;
  border-radius: 10px;
}

/* New rule derived from GS to finally fix the problem if H3 at top of highlight box */
.highlight-box > h3:first-child {	/* Highlight box that has a H3 as its first child element */
  margin-top: 0px;
  padding-top: 0px;
}


.highlight-box.action {
  border-color: #232F5D /* BAT Blue */;
}
.highlight-box.colour1 {
  border-color: #e2e5e8 /* Pale Grey */;
}
.highlight-box.colour2 {
  border-color: #232F5D /* BAT Blue */;
}
.highlight-box.colour3 {
  border-color: #fbb911  /* BAT Yellow */;
}
.highlight-box.colour4 {
  border-color: #e2e5e8 /* Pale Grey */;
}
.highlight-box.colour5 {
  border-color: #e1251b /* General Purpose Red (Pantone 485c) */;
}


.highlight-box.reverse {
  background-color: #232F5D /* BAT Blue */;
}
.highlight-box.reverse p, 
.highlight-box.reverse a {
  color: #ffffff /* White */;
}
section.content .highlight-box.reverse a.glossary {
  color: #ffffff /* White */;
}


.highlight-box.indented {
  margin-left: 2em;
}


.highlight_box small {
  display: block;
  padding-left: 0.5em;
  text-indent: -0.5em;
}

.highlight_word { font-weight: bold; }