.todo		{ font-size: 80% ; color: #444 ; }
p.todo		{}

.wgNote		{ border: 0.2em solid red;
	      	  padding: 0.5em ;
		  margin: 1em 4em 1em 2em ; }

.box     { border: thin solid #888888;
           page-break-inside: avoid ;
           background-color: #F8F8F8 ; padding:1em ;
           margin-left:0 ; margin-right: 2ex; 
           margin-top: 0.1ex ; margin-bottom: 0.1ex ;
         }

/* == General Tag Treatment == */
pre		 { margin: 1em 4em 1em 2.5em ; /* Top Right Bottom Left */
                   padding: 1ex;
	           /*overflow: auto;*/
                   page-break-inside: avoid ; }

pre.json:before {
    content:    "JSON" ;
    display:    block;
    float:      right ;
    width:      100px;
    background: #a0ffa0;
    font-family:    sans-serif;
    font-size:   80% ;
    padding:    2px 2px 2px 20px ;
    font-weight:    bold;
    margin: -1em 0 0.5em 1em;
} 

.note		{ margin-left: 2.5em; margin-right: 4ex ; font-size: 85% ; font-style: italic ; }

.json           { background-color:#e0ffe0; }
pre.json	{ border:thin solid #aaaaaa;
                  margin: 1em 4em 1em 0em ; }