/* mydoc.css - automatic table-of-contents @ left margin
             - document modification date
             - floating homeCrumb

   uses: mydoc.js
   see:  mydoc.html

2007'07'23 Added homeCrumb
2023'03'01 Make responsive for Small Screen (remove toc, for now)
*/


/* major areas */

div#mydochomecrumb {
  position: absolute;
  top: 5px;
  left: 5px;
}

html,body {
  margin: 0;
  margin-right: 5em;
  padding: 0;
  background-color: #ffffcc;
}

div#tocDiv {
  position: absolute;
  left: 1px;
  width: 20%;
  margin: 0;
  overflow: scroll;
  border:  1px solid #999999;
  border-width: 1px 0;
  padding: 10px 0;
  padding-bottom: 1px;
  background-color: #ffffcc;
  height: 500px;
}

body {
  margin: 0;
  margin-top: 3px;
  margin-left: 25%;
/*margin-right: 5em;*/
  margin-right: 5%;
  padding: 0;
}


/* modified html */

h1 {
  font-size: 140%;
  margin-top: .5em;
  margin-bottom: 0em;
}

h2 {
  font-size: 120%;
  margin-top: .5em;
  margin-bottom: 0em;
  font-weight: bold;
  text-decoration: underline;
}

h3 {
  font-size: 120%;
  margin-top: .5em;
  margin-bottom: 0em;
  font-weight: bold;
}

h4 {
  font-size: 100%;
  margin-top: .5em;
  margin-bottom: 0em;
  font-weight: normal;
  font-style:italic;
  font-weight: bold;
  text-decoration: underline;
}

h5 {
  font-size: 100%;
  margin-top: .5em;
  margin-bottom: 0em;
  font-weight: bold;
  font-style:italic;
}

/* new */

div.left {
  float:left;
  text-align:left;
  vertical-align: bottom;
  margin-top: 0px;
  margin-bottom: 0px;
}

div.right {
  float:right;
  text-align:right;
  vertical-align: bottom;
  margin-top: 0px;
  margin-bottom: 0px;
}

div#MYDOCTOC a {
  display: list-item;
  margin-left: 16px;
  font-size: 90%;
  margin-top: 5px;
  border: 1px solid #ffffcc;
  background-color: #ffffcc;
}

div#MYDOCTOC a.indent {
  margin-left: 2em;
}

div#MYDOCTOC a.extraindent {
  margin-left: 3em;
}

div#MYDOCTOC a:hover {
  border-color: #ED9F00;
}

div#MYDOCTOC a:visited {
  background-color: #ffffcc;
}

span.warnbox {
  width: 80%;
  background-color: #ffccff;
  border-style: ridge;
  padding: 10px 20px 10px 20px;
}

div.warnbox {
  background-color: #ffccff;
  border-style: ridge;
  padding: 10px 20px 10px 20px;
}


/* SMALL-SCREEN ADJUSTMENTS */

@media only screen and (max-width: 500px) {

   * {
      font-size: 100% !important;
   }

   html,body {
      margin: 0.3em;
   }

   #mydoctoc {
      display: none !important;
   }

   #mydochomecrumb {
     position: static !important;
   }

/* SMALL-SCREEN ADJUSTMENTS END */
}