/* CSS Document */
.menu {margin-top: auto;}
.style1 {color: #333333}
.margins {background-color: #ffffff; border: thin;}
.market {background-color: #071F67; font-weight: bold; text-align: left; color: #ffffff;line-height:40px;}
.floor {background-color: #071F67; font-weight: bold; text-align: center; color: #ffffff; line-height:40px;}
.electronic {background-color: #071F67; font-weight: bold; text-align: center; color: #ffffff;line-height:40px;}
.exchange {background-color: #071F67; font-weight: bold; text-align: center; color: #ffffff;line-height:40px;}
.initial {background-color: #071F67; font-weight: bold; text-align: center; color: #ffffff;line-height:40px;}
.maintenance {background-color: #071F67; font-weight: bold; text-align: center; color: #ffffff;line-height:40px;}
.marketout {background-color: #071F67; font-weight: bold; text-align: left; font-size: 12px; color: #ffffff;}
.floorout {font-size: 11px; color: #000000; text-align: center;}
.electronicout {font-size: 11px; color: #000000; text-align: center;}
.exchangeout {font-size: 11px; color: #000000; text-align: center;}
.initialout {font-size: 11px; color: #000000; text-align: center;}
.maintenanceout {font-size: 11px; color: #000000; text-align: center;}
.style11 {background-color: #FFFFFF; font-size: xx-small; color: #000000;}