/* Basic body formatting */ 
    body {
      margin: 1em 2px 1em 2px;
    }


   /* +++ next added to fix outlines/lists/toc/headings margins on small screens +++ */
  
    ol, ul  { 
      margin-left: .3em; 
      padding:0 0 0 .3em;
     } 
    li, li li { 
      margin-left: .3em; 
     } 
   .altreading  {
      margin-right: .2em;
      margin-left: .4em;
      }
   div.toc th,td {
      padding-bottom: .2em;
      vertical-align:middle;
     }
    h1 {
      font-size: 1.5em;
      margin: .35em 0;
    }
   .abstract  {
      margin: 0 1em .6em 1em; 
    }
  
  /* ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ */
  /* +++ Borders +++ */
   /*Narrow (basic) border */
   .borderbasic  {
      padding:.3em;
    }
  /*Midsize "big" border */
   .bordermid  {
      border: .4em ridge mistyrose; 
      padding:.2em;
      margin: 0 .0em .4em .0em; 
    }
  /*Heavier "thick" border */
   .borderthick  {
      border: .6em ridge mistyrose; 
      padding:.4em;
    }
  

  /* change TOC call background */
      .calltoc {background: rgba(226,243,250,.7);}
      
  /* change TOC link backgrounds (no hover available)   */ 

    table.toc  a:link { background-color: azure ; }
    table.toc  a:active { background-color: azure ; }
    table.toc  a:visited { background-color: azure ; } 
    table.toc  a:link { background-color: rgba(226,243,250,.4) ; }
    table.toc  a:active { background-color: rgba(226,243,250,.4) ; }
    table.toc  a:visited { background-color: rgba(226,243,250,.4) ; } 
      
   
 /* Reset monitor/phone display toggles for phones*/
   /* These must be initialize in reverse in basic css*/
   .notonphone {display:none} 
   .notonmonitor {display:block} 
   
   
/* ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ */
 /* Formatting for Titles box */
   div#titles {
     margin:auto .5em .5em .2em; 
     Xdisplay:block;
     line-height:normal;
   }
 
   div#secondtitles {
     Xdisplay:block;
     padding-top:.2em;padding-bottom:.2em;
     margin-top:-4em;margin-right:0;margin-left:auto;

   }
 /* End Formatting for Titles box */