1  
  2  /* net Practice CSS */
  3  /* Warning : some parameters are set / modified by script */
  4  
  5  
  6  body {
  7      font-family: sans-serif;
  8      padding:0px;
  9      margin:0px;
 10      background-image:url("../img/site42-bg.gif");
 11  }
 12  
 13  
 14  div {
 15      box-sizing: border-box;
 16  }
 17  
 18  
 19  
 20  /* message box in index.html */
 21  
 22  .intro_div {
 23      background-color: #00AAAA;
 24      border: 5px solid #00AAAA;
 25      border-radius: 5px;
 26      padding:10px;
 27      width:50%;
 28      margin:auto;
 29      margin-top: 25%;
 30      text-align: center;
 31  }
 32  
 33  
 34  /* goals div */
 35  .goals_div {
 36      background-color: #00AAAA;
 37      width:100%;
 38      border:5px solid #00AAAA;
 39      border-radius:5px;
 40      padding: 5px;
 41  }
 42  
 43  .goals_div h2 {
 44      margin:5px;
 45      font-style:italic;
 46  }
 47  
 48  
 49  /* SVG layer */
 50  .svg_layer {
 51      z-index:-4;
 52      position:absolute;
 53      top:0px;
 54      left:0px;
 55  }
 56  
 57  
 58  /* logs window */
 59  .logs_div {
 60      background-color: #FFAAAA;
 61      border:3px solid #FFAAAA;
 62      border-radius:3px;
 63      position:fixed;
 64      bottom:0px;
 65      right:0px;
 66      width:250px;
 67      height:200px;
 68      font-size:70%;
 69      overflow-y: scroll;
 70  }
 71  
 72  
 73  /* host div (image) */
 74  .host_div {
 75      background-size:contain;
 76      background-repeat: no-repeat;
 77      background-position: center;
 78      /* will be updated by script : position, top, left, width, height, background-image */
 79  }
 80  
 81  
 82  /* host info (name, route) div */
 83  .host_info_div {
 84      min-width: 170px;
 85      min-height: 50px;
 86      background-color:rgba(150, 150, 255, 0.9);
 87      border: 3px solid rgba(150, 150, 255, 0.9);
 88      border-radius: 3px;
 89      /* will be updated by script : position, top, left */
 90  }
 91  
 92  .host_info_div table {
 93      text-align:center;
 94  }
 95  
 96  
 97  /* interface div */
 98  .itf_div {
 99      min-width: 176px;
100      height: 70px;
101      background-color: rgba(150, 150, 150, 0.9);
102      border: 3px solid rgba(150, 150, 150, 0.9);
103      border-radius: 3px;
104      /* will be updated by script : position, top, left */
105  }
106  
107  /* intro footnote */
108  .footnote {
109      font-size:70%;
110      font-style:italic;
111  }