/* CSS file imported by some of my HTML index files (pm \@\ phmartin \.\ info ; 21/5/2024)
   Exploited by ~/public_html/js/index_js.css
 */
BODY { width:56em }


dl            { /*display:grid;//default:block;"inline":storedBut!effect*/ margin-top:3.42%;/*or 2.1% as P*/
                /*useless: margin-bottom:0;*/ }
dt            { /*display: default:block";inline":storedBut!effect;  margin:0  //dt::first-line !recognized */
              } /* no: https://bloycey.medium.com/how-to-style-dl-dt-and-dd-html-tags-ced1229deda0 */
dd            { margin-left:0/*1.5%*/; /* margin-top:0; margin-bottom:0; */ }
dl.inline     { display:inline }
dl.inline dt  { display:inline }
dl.inline dd  { display:inline;  margin-left:0 }

/* Expanded:   Black Down-Pointing Triangle Normal: DecimalCode: ▼  HexCode: ▼ "\25bc"
                                             Small: DecimalCode: ▾  HexCode: ▾ "\25be"
   Contracted: Black Right-Pointing Triangle        DecimalCode: ▲  HexCode: ▲ "\25b2"
                                             Small: DecimalCode: ▸  HexCode: ▸ "\25b8"

   font-size:larger;  \00A0 =                display:inline;  transform:rotate(90deg); 
dl                  dt::before { content:"\25be";  color:green;  margin-right:.5% }
dl.avoidContracting dt::before { color:darkOrange; }
dl.contracted       dt::before { content:"\25b8" }
dl.contracted       dt::after  { content:" ...";  margin-left:.2% } 
*/
dl                  dt::after  { content:" \00A0 \00A0 \25be    "; color:green;      }
dl.avoidContracting dt::after  {                                   color:darkOrange; }
dl.contracted       dt::after  { content:" \00A0 \00A0 \25b8 ..."; color:green; /*margin-left:1%*/  }

pre dl              dt::after  { content:"\25bc    "; /* 1+ space assumed before <dd> */ }
pre dl.contracted   dt::after  { content:"\25b2 ..."; /* bigger since 97% below */      }
.KR dl              dt::after  { content:" \25bc    ";                               }
.KR dl.contracted   dt::after  { content:" \25b2 ...";                               }

dl                  dd {              }
dl.contracted       dd { display:none }

  dt p        { /*2024-06-07out: margin-top:0; margin-left:2%;  margin-bottom:0//!work: dt p !inline */ }
  dd p        { /*2024-06-07out: margin:0 //!work with dt p !inline*/ }


p { /*text-align:justify;*/ margin-top:2.1%/*=1.3em; or default*/; margin-bottom:0 }
UL, OL { margin-top:0; margin-bottom:0/*or:1em*/ }

.noMargin { margin:0 }
.noTopMargin,    .noTop { margin-top:0 }
.noBottomMargin, .noBot { margin-bottom:0 }


CODE { font-family:monospace; font-size:97% }
PRE, XMP, .KR { font-size:97%;  margin-top:1%;/*bef2024-05-14:0, orig:1em */
                /* margin-bottom:0% //the default; was the orig (then 0.6em): any change/better? */
                /* 93%forBodyOf10.5pt = 89%forBodyOf11pt = 9.8ptInHeight(widthDoesNotChange!)
                     2023-12-31: 89% -> 96.75% -> 97% */ }
.KR      { text-align:left;  font-family:monospace;  white-space:pre;
           /* actually possible:  PRE P { margin-top:1em;  margin-bottom:0% }  */ }
.pre-ed, pre { white-space:pre }   .nowrap  { white-space:nowrap } 
.pre { white-space:pre }
.preSmaller { font-size:smaller; font-size:89% }

.smaller { font-size:smaller; /*"small" is absolute and biggerThanTheSmallerOf11pt */
           /* line-height:100% !important  //if inline, useless */
         } /*                              //else ignored: surrounding div(!dl,!small) followed */
           /* Warning: unlike <small>, "smaller" also reduces the interlign */ 
.hidden  { display:none }
.newForStudents { color:DarkGreen }
.moveable  { border:thin dotted; /*width:20%*/; }
.draggable { border:thin dashed; /* dotted / dashed / outset */
             min-width:fit-content/*or: 65%*/;  min-height:2.5%;
             position:absolute; /* necessary to support moves; removes margins specif. */
             background-color:white;  /*no effect:   z-index:9;  float:left; */
           }
.dragAnchor{ cursor:move }
.resizable {resize:both/*horizontally+vertically*/; overflow:auto/*scroll woUnnecessaryBars*/}

@media screen { A {text-decoration: none} }