/* ------------------------------------------------------------------ */
/* ------------------ taken from the en_theme.php --------------------------- */
/* ------------------------------------------------------------------ */
/* --------------<style type="text/css">-------------------- */

	 ::selection{ background-color: #E13300; color: white; }
	 ::moz-selection{ background-color: #E13300; color: white; }
	 ::webkit-selection{ background-color: #E13300; color: white; }

	 /* body { */
	 /*     background-color: #fff; */
	 /*     margin: 40px; */
	 /*     font: 13px/20px normal Helvetica, Arial, sans-serif; */
	 /*     color: #4F5155; */
	 /* } */

         .down-row {
             background-color: #dedef8;
             box-shadow: inset 1px -1px 1px #444, inset -1px 1px 1px #444;
             padding-bottom: 10px;
         }

/* reset the default navbar brand padding [it's 15px by default] */
         .navbar-brand {
             padding: 0;
         }

/* transfer the navbar brand padding to the image inside it, also make it 100% height */
         .navbar-brand  >img {
             padding: 1px;  /* this value is optional, increasing or decreasing it is up to you. */
             height: 100%;
         }

         .imgdisp >img {
             border-radius: 5px;
             border: 2px solid #000000;
             background-color: #f8f8ec;
             padding: 1em;
             display: block;
             margin: auto;
         }

         mcs {
             text-transform: uppercase;
             font-variant: small-caps;
             font-weight: bold;
         }
             body {
             margin-top: 55px;
             margin-left: 12px;
             background-color: linen;
             }
            h1 {
             color: maroon;
             margin-left: 40px;
            }
             h3 {
             color: maroon;
             margin-left: 20px;
             }
	 a {
	     color: #003399;
	     /* background-color: transparent; */
             background-color: #f9f9f9;
	     font-weight: bold;
	 }
         a:hover, a:focus {
             text-decoration: underline;
         }

              .table th{
             border: red solid 1px !important;
             text-align: center !important;
             }
             .table td{
             border: blue solid 1px !important;
             text-align: center !important;
             }

	 code {
	     font-family: Consolas, Monaco, Courier New, Courier, monospace;
	     font-size: 12px;
	     background-color: #f9f9f9;
	     border: 1px solid #D0D0D0;
	     color: #002166;
	     display: block;
	     margin: 14px 0 14px 0;
	     padding: 12px 10px 12px 10px;
	 }

	 #body{
	     margin: 0 15px 0 15px;
	 }

	 p.footer{
	     text-align: right;
	     font-size: 11px;
	     border-top: 1px solid #D0D0D0;
	     line-height: 32px;
	     padding: 0 10px 0 10px;
	     margin: 20px 0 0 0;
	 }

	 #container{
	     margin: 10px;
	     border: 1px solid #D0D0D0;
	     -webkit-box-shadow: 0 0 8px #D0D0D0;
	 }
/* ------------------------------------------------------------------ */
/* ------------- </style>-------------------- */