/*=====================================================================*/
/*    serrano/prgm/project/hop/3.0.x/doc/hss/doc.hss                   */
/*    -------------------------------------------------------------    */
/*    Author      :  Manuel Serrano                                    */
/*    Creation    :  Sat Aug  1 10:20:48 2015                          */
/*    Last change :  Tue Oct 27 11:31:40 2015 (serrano)                */
/*    Copyright   :  2015 Manuel Serrano                               */
/*    -------------------------------------------------------------    */
/*    HSS for the Hop.js documentation                                 */
/*=====================================================================*/

/*---------------------------------------------------------------------*/
/*    grey effect                                                      */
/*---------------------------------------------------------------------*/
.hopdoc-grey {
  -webkit-filter: grayscale(1) sepia(0.2);
  filter: grayscale(1);
  transition: 0.5s all;
}

.hopdoc-grey:hover {
  -webkit-filter: none;
  filter: none;
}  

/*---------------------------------------------------------------------*/
/*    body                                                             */
/*---------------------------------------------------------------------*/
body {
  position: relative;
  color: #222;
}

/*---------------------------------------------------------------------*/
/*    bootstrap                                                        */
/*---------------------------------------------------------------------*/
p.danger {
  margin-top: 3ex;
  border-left: 4px solid #d00;
  padding-left: 4px;
  margin-top: 1ex;
}

.btn-group .btn-primary a {
  color: white;
}

/*---------------------------------------------------------------------*/
/*    title                                                            */
/*---------------------------------------------------------------------*/
.jumbotron {
  margin-top: 40px;
}

/*---------------------------------------------------------------------*/
/*    footer                                                           */
/*---------------------------------------------------------------------*/
footer {
  border-top: 1px solid #ddd;
  padding-top: 4ex;
  padding-bottom: 2ex;
  margin-top: 4ex;
  text-align: left;
  color: #777;
  font-size: 12px;
}

footer button.inria {
  line-height: 10px;
  font-size: 16px;
  border: none;
}

footer button.inria svg * {
  fill: white;
  stroke: white;
}

footer .copyright-right {
  text-align: right;
}

footer .copyright-left {
  text-align: left;
}

footer .copyright-middle {
  text-align: center;
}

/*---------------------------------------------------------------------*/
/*    sections                                                         */
/*---------------------------------------------------------------------*/
.jumbotron .row h1 {
  color: #faab02;
  text-shadow: none;
  font-weight: bold;
  border: 0;
}

.jumbotron h1:before {
  content: none;
}

h1.toc {
  font-weight: bold;
}

h1 {
  padding-bottom: 4px;
  padding-top: 4px;
  border-bottom: 1px solid #777;
  border-top: 1px solid #777;
  counter-reset: subsection;
  counter-increment: section;
}

h1:before {
  content: counter( section ) ". ";
}

h1#toc {
  counter-reset: section;
  counter-increment: none;
}

h1#toc:before {
  content: none;
}

h2 {
  padding-bottom: 4px;
  border-bottom: 1px dashed #777;
  text-shadow: #ccc 1px 1px 1px;
}

body.home h2:before,
body.home h3:before,
body.library h2:before,
body.download h2:before,
body.download h3:before,
h1.nonumber:before,
h2.nonumber:before,
h3.nonumber:before {
  content: none;
}

h2:before {
  counter-increment: subsection;
  content: counter( section ) "." counter( subsection ) ". ";
}

h3 {
  text-shadow: none;
}

h3.glyphicon {
  display: block;
}

h1.toc, h1.markdown {
  font-size: 170%;
}

h2.markdown {
  font-size: 160%;
}

h3.markdown {
  font-size: 150%;
}

h3.glyphicon {
  color: #444;
}

h3.glyphicon {
  font-family: inherit;
  font-weight: 500;
  line-height: 1.1;
}

h3.glyphicon:before {
  font-size: 65%;
  margin-right: 0.4em;
  font-family: 'Glyphicons Halflings';
  font-style: normal;
  font-weight: 400;
  line-height: 1;
  -webkit-font-smoothing: antialiased;
}

h3.parameter:before {
  color: #d85023;
}

h3.constructor:before {
  color: #eeb930;
}

h3.function:before {
  color: #1467e6;
}

h3.tag:before {
  color: #22ba5a;
}

/*---------------------------------------------------------------------*/
/*    navigation                                                       */
/*---------------------------------------------------------------------*/
.navbut .btn-primary a {
  color: white;
}

nav.sidebar {
  background-color: #f7f7f7;
  border-radius: 4px;
  border: 1px solid #ccc;
  width: 20em;
  overflow: hidden;
  white-space: nowrap;
  font-size: 95%;
  opacity: 0.9;
}

nav.sidebar a {
  color: #777;
}
  
.affix-top {
  position: absolute;
}

.affix {
  top: 80px;
}

.affix-bottom {
  top: 80px;
}

nav.sidebar li {
  border-left: 4px solid;
  border-left-color: transparent;
  text-overflow: ellipsis;
}

nav.sidebar .active {
  font-weight: bold;
  border-left-color: #900;
  background-color: #d0d0d0;
}

nav.sidebar ul ul .active {
  border: none;
}

nav.sidebar ul ul .active:after {
  content: "\25c2";
  color: #900;
  font-size: 90%;
}

nav.sidebar .active * {
  color: #222;
}

nav.sidebar li > a {
  padding: 4px 8px;
}

nav.navbar-inverse .navbar-nav li.active > a {
  background-color: #444;
}

/*---------------------------------------------------------------------*/
/*    description                                                      */
/*---------------------------------------------------------------------*/
div.page-header {
/*   font-size: 130%;                                                  */
}
  
/*---------------------------------------------------------------------*/
/*    toc                                                              */
/*---------------------------------------------------------------------*/
.toc li {
  padding-top: 2px;
  padding-bottom: 2px;
}

.toc li .toc-description {
  margin-left: 1em;
  font-size: 95%;
}

.toc-description {
  color: #555;
}

/*---------------------------------------------------------------------*/
/*    code                                                             */
/*---------------------------------------------------------------------*/
pre code {
  font-family: monospace;
}

pre.fontifier-prog {
  background-color: #fafafa;
}

pre.fontifier-prog span.ebnf-tag {
  color: #338;
}

/*---------------------------------------------------------------------*/
/*    blockquote                                                       */
/*---------------------------------------------------------------------*/
p.warning {
  margin-top: 3ex;
  border-left: 4px solid #f0ad4e;
  padding-left: 4px;
  margin-top: 1ex;
}

p.info {
}

/*---------------------------------------------------------------------*/
/*    label                                                            */
/*---------------------------------------------------------------------*/
span.lbl-lg {
  padding: 8px;
}

pre + p {
  margin-top: 1ex;
}

/*---------------------------------------------------------------------*/
/*    download                                                         */
/*---------------------------------------------------------------------*/
body.download pre {
  font-size: 80%;
  font-family: monospace;
}

button.download {
  border-radius: 3px;
  border: 1px solid #aaa;
  padding: 1ex 1em;
  width: 16em;
  text-align: center;
}

button.download table {
  width: 100%;
}

button.download table td {
  text-align: right;
}

button.download table td.content {
  font-weight: bold;
  text-align: left;
  padding-left: 1em;
}

div.download + div.download {
  margin-top: 2ex;
}

button.download * {
  color: white;
}

button.download a span {
  font-size: 140%;
}

/*---------------------------------------------------------------------*/
/*    Specific page configuration                                      */
/*---------------------------------------------------------------------*/
body.lang ul.toc,
body.lang h1.toc,
body.download ul.toc,
body.download h1.toc {
  display: none;
}

div.home-body {
  color: #444;
  font-size: 16px;
}

body.home h1, body.home h2 {
  color: #faab02;
  text-shadow: none;
  font-weight: bold;
}

body.home h2 {
  font-size: 200%;
}

body.home pre {
  background: inherit;
  border: none;
  border-left: 2px solid #1467E6;
  border-radius: 0;
  color: #000;
  margin-left: 1em;
}

body.home pre#shell {
  border-color: #22BA5A;
}

body.home pre#config {
  border-color: #D85023;
}

body.home pre.homeprog .fontifier-prog-string,
body.home pre.homeprog .fontifier-prog-define,
body.home pre.homeprog .fontifier-prog-keyword,
body.home pre.homeprog .fontifier-prog-tag,
body.home pre.homeprog .fontifier-prog-reserved,
body.home pre.homeprog .fontifier-prog-client,
body.home pre.homeprog .fontifier-prog-server {
  font-weight: normal;
  color: inherit;
}

body.home pre#prog1 span.service,
body.home pre#prog2 .fontifier-prog-tag,
body.home pre#prog3 .fontifier-prog-client,
body.home pre#prog4 .fontifier-prog-server {
  font-weight: bold;
  color: #D85023;
  background-color: #efefef;
  border: 1px solid #d2d2d2;
  border-radius: 1px;
  padding-left: 1px;
  padding-right: 1px;
  margin-left: 1px;
  margin-right: 1px;
}

body.home code {
  background-color: #efefef;
  border: 1px solid #d2d2d2;
  border-radius: 1px;
/*   color: #1a75f9;                                                   */
  color: #D85023;
}

body.home pre code {
  background-color: inherit;
  border: none;
}

/*---------------------------------------------------------------------*/
/*    prog                                                             */
/*---------------------------------------------------------------------*/
code .h1, code .h2, code .h3, code .h4 {
  font-size: inherit;
}

/*---------------------------------------------------------------------*/
/*    index                                                            */
/*---------------------------------------------------------------------*/
.idx-col {
  width: 100%;
}

.idx-prefix {
  color: #777;
  text-align: right;
}

.idx-letter th {
  text-align: left;
  color: #777;
  font-size: 220%;
}

.idx-letter > * {
  border-bottom: 1px solid #ccc;
}

/*---------------------------------------------------------------------*/
/*    media                                                            */
/*---------------------------------------------------------------------*/
@media screen and (max-width:1024px) {
  #navbar, .idx-chapter {
     display: none;
  }
}