/* CSS side menu layout */
.con_men    {   display:table;  max-width:95%; margin:1em auto;
            }
.con_men  div   {   display:table-row;
            }
ul.sidemenu { display:table-cell;  margin-right:1em; padding:0;
            }
ul.sidemenu li { display:block;  background-color:rgba(240,240,255,0.8); font-family: 'Trade Winds', cursive, serif, san-serif; margin-right:2em;
                 padding:1em;  margin-bottom:1em;
                 
                  -moz-border-radius: 1.5em;
          -webkit-border-radius: 1.5em;
          -khtml-border-radius: 1.5em;
    border-radius: 1em;
            }
div.content { display: table-cell; max-width:50em; margin-left:2em; 
             }
             
.sidemenu a { text-decoration:none; color:black;
        }
.sidemenu a:visited{ text-decoration:none; color:black;
              }
.sidemenu a:active{ font-weight:bold; text-decoration:none; color:rgb(0,0,204);
              }             
.sidemenu a:hover{ font-weight:bold; text-decoration:none; color:black;
              }
.sidemenu #used { background-color:rgb(0,128,255); color:white;
      }