a:link            { color: #0000FF; text-decoration: none; }
a:visited         { color: #0000FF; text-decoration: none; }


body {
   color:            black;
   background-color: white;
   font-family: "Helvetica", sans-serif;
   font-size:        1em;
}

address {
   color    : #202020;
   font-size: smaller;
}

hr {
   border-style: solid;
   border-width: thin;
   border-color: black;   
}

.logobar {
   border-style:   none;
   border:         0px;
   vertical-align: bottom;
}

img.logo {
   border-style:   none;
   border:         0px;
   vertical-align: bottom;
   float:          left;
}

img.matrix {
   border-style:   none;
   border:         0px;
   vertical-align: bottom;
   float:          right;
}

ul.toc {
   font-size:      larger;
   font-weight:    bold;
}

span.desc {
   font-weight:    bold;
}

span.sum {
   font-size:      large;
}

span.sets {
   font-weight:    bold;
}

span.sub {
   font-size:      x-small;
   vertical-align: sub;
}

/* miplib index table 
 */
.mit { 
   background-color: #F0F0F0;
   padding:          4px;
   border-width:     thin;
   border-style:     solid;
   border-color:     black;
   border-collapse:  collapse;
   empty-cells:      show;
   table-layout:     auto;
   white-space:      nowrap;
   overflow:         visible;
   font-family:      "Helvetica", sans-serif;
}

/* miplib index table head 
 */
.mit_h_status {
   background-color:    #D0D0D0;
   text-align:          center;
   padding:             4px;
   border-width:        thin;
   border-top-style:    solid;
   border-bottom-style: solid;
   border-right-style:  none;
}

.mit_h_name {
   background-color:    #D0D0D0;
   text-align:          left;
   padding:             4px;
   border-width:        thin;
   border-top-style:    solid;
   border-bottom-style: solid;
   border-left-style:   none;
   border-right-style:  none;
}

.mit_h_sets {
   background-color:    #D0D0D0;
   text-align:          left;
   width:               3em;
   padding:             4px;
   border-width:        thin;
   border-top-style:    solid;
   border-bottom-style: solid;
   border-left-style:   none;
   border-right-style:  none;
}
.mit_h_c {
   background-color:    #D0D0D0;
   text-align:          center;
   padding:             4px;
   border-width:        thin;
   border-top-style:    solid;
   border-bottom-style: solid;
   border-left-style:   none;
   border-right-style:  none;
}

.mit_h_rows,.mit_h_cols,.mit_h_nz,.mit_h_int,.mit_h_bin,.mit_h_con { 
   background-color:    #D0D0D0;
   text-align:          right;
   padding:             4px;
   border-width:        thin;
   border-top-style:    solid;
   border-bottom-style: solid;
   border-left-style:   none;
   border-right-style:  none;
}

.mit_h_objective{
   background-color:    #D0D0D0;
   text-align:          right;
   padding-left:        2px;
   padding-right:       8px;
   padding:             4px;
   width:               8em;
   border-width:        thin;
   border-top-style:    solid;
   border-bottom-style: solid;
   border-left-style:   none;
   border-right-style:  none;
}

.mit_h_1,.mit_h_2,.mit_h_3,.mit_h_4,.mit_h_5,.mit_h_6,.mit_h_7,.mit_h_8,.mit_h_9,.mit_h_10,.mit_h_11,.mit_h_12,.mit_h_13 {
   background-color:    #D0D0D0;
   text-align:          center;
   border-width:        thin;
   border-top-style:    solid;
   border-bottom-style: solid;
   border-left-style:   solid;
   border-right-style:  solid;
   font-size: smaller;
   padding-left:        3px;
   padding-right:       3px;
   font-family: monospace,monospace;
}

/* miplib index table data fields 
 */
.mit_d_status { 
   text-align: center;
   border-right-style:  none;
}

.mit_d_name { 
   text-align: left;
}

.mit_d_sets { 
   text-align: left;
   padding-left:        10px;
   padding-right:       10px;
   font-family: monospace, monospace;
   font-weight: bold;
/*   font-family:courier, "courier new", monospace;*/
}

.mit_d_c { 
   text-align: center;
   font-family: monospace,monospace;
/*   font-weight: bolder;*/
}

.mit_d_rows { 
   text-align: right;
   padding-left:        6px;
   padding-right:       6px;
}

.mit_d_cols { 
   text-align: right;
   padding-left:        6px;
   padding-right:       6px;
}

.mit_d_nz { 
   text-align: right;
   padding-left:        6px;
   padding-right:       6px;
}

.mit_d_ints { 
   text-align: right;
   padding-left:        6px;
   padding-right:       6px;
}

.mit_d_bins { 
   text-align: right;
   padding-left:        6px;
   padding-right:       6px;
}

.mit_d_cons { 
   text-align: right;
   padding-left:        6px;
   padding-right:       6px;
}

.mit_d_objective { 
   text-align:          right;
   padding-left:        4px;
   padding-right:       6px;
   padding:             4px;
   border-width:        thin;
   border-left-style:   none;
   border-right-style:  none;
}

.mit_d_1,.mit_d_2,.mit_d_3,.mit_d_4,.mit_d_5,.mit_d_6,.mit_d_7,.mit_d_8,.mit_d_9,.mit_d_10,.mit_d_11,.mit_d_12,.mit_d_13 {
   text-align:          center;
   padding-left:        6px;
   padding-right:       6px;
   border-width:        thin;
   border-left-style:   solid;
   border-right-style:  solid;
}

/* ---------------------------------------------------- */

h1.instance {
   font-size:   xx-large;
   font-family: "Helvetica", sans-serif;
   font-weight: bold;
   text-align:  center;
}

/* miplib describtion table 
 */
.mdt { 
   padding:          4px;
   width:            100%;
   border-style:     none;
   border-collapse:  collapse;
   empty-cells:      show;
   table-layout:     auto;
   overflow:         visible;
   font-family:      "Helvetica", sans-serif;
   clear:            both;
}

.mdt_h_name,.mdt_h_sets,.mdt_h_rows,.mdt_h_status,.mdt_h_cols,.mdt_h_nzos,.mdt_h_objnzos,.mdt_h_rcratio {
   background-color:    #8080FF;
   width:               15%;
   border-width:        medium;
   border-style:        solid;
   border-color:        #DDDDDD;
   text-align:          right;
   padding-right:       1em;
}

.mdt_d_name,.mdt_d_sets,.mdt_d_rows,.mdt_d_status,.mdt_d_cols,.mdt_d_nzos,.mdt_d_objnzos,.mdt_d_rcratio {   
   background-color:    #FFFFCC;
   width:               85%;
   border-width:        medium;
   border-style:        solid;
   border-color:        #DDDDDD;
   padding-left:        1em;
}

.mdt_h_oname,.mdt_h_orig,.mdt_h_form,.mdt_h_dona,.mdt_h_ints,.mdt_h_bins,.mdt_h_cont,.mdt_h_absmin,.mdt_h_absmax,.mdt_h_objabsmin,.mdt_h_objabsmax,.mdt_h_lpobj,.mdt_h_ipobj,.mdt_h_exipo,.mdt_h_exlpo,.mdt_h_rbasfile {
   background-color:    #FF7070;
   width:               15%;
   border-width:        medium;
   border-style:        solid;
   border-color:        #DDDDDD;
   text-align:          right;
   padding-right:       1em;
}

.mdt_d_oname,.mdt_d_orig,.mdt_d_form,.mdt_d_dona,.mdt_d_ints,.mdt_d_bins,.mdt_d_cont,.mdt_d_absmin,.mdt_d_absmax,.mdt_d_objabsmin,.mdt_d_objabsmax,.mdt_d_lpobj,.mdt_d_ipobj,.mdt_d_exipo,.mdt_d_exlpo,.mdt_d_rbasfile {
   background-color:    #FFFFCC;
   width:               85%;
   border-width:        medium;
   border-style:        solid;
   border-color:        #DDDDDD;
   padding-left:        1em;
}

.mdt_h_c_agg,.mdt_h_c_varb,.mdt_h_c_part,.mdt_h_c_pack,.mdt_h_c_cover,.mdt_h_c_card,.mdt_h_c_eqknap,.mdt_h_c_binpack,.mdt_h_c_invknap,.mdt_h_c_knap,.mdt_h_c_intknap,.mdt_h_c_varlb,.mdt_h_c_varub,.mdt_h_c_mixed01,.mdt_h_c_general {
   background-color:    #B0B0D0;
   width:               15%;
   border-width:        medium;
   border-style:        solid;
   border-color:        #DDDDDD;
   text-align:          right;
   padding-right:       1em;
}

.mdt_d_c_agg,.mdt_d_c_varb,.mdt_d_c_part,.mdt_d_c_pack,.mdt_d_c_cover,.mdt_d_c_card,.mdt_d_c_eqknap,.mdt_d_c_binpack,.mdt_d_c_invknap,.mdt_d_c_knap,.mdt_d_c_intknap,.mdt_d_c_varlb,.mdt_d_c_varub,.mdt_d_c_mixed01,.mdt_d_c_general {
   background-color:    #FFFFCC;
   width:               85%;
   border-width:        medium;
   border-style:        solid;
   border-color:        #DDDDDD;
   padding-left:        1em;
}

.mdt_h_refer {
   background-color:    #8080FF;
   width:               15%;
   border-width:        medium;
   border-style:        solid;
   border-color:        #DDDDDD;
   text-align:          right;
   padding-right:       1em;
}

.mdt_d_refer {
   background-color:    #FFFFCC;
   width:               85%;
   border-width:        medium;
   border-style:        solid;
   border-color:        #DDDDDD;
   padding-left:        1em;
}

.mdt_h_download,.mdt_h_solufile {
   background-color:    #32CD32;
   width:               15%;
   border-width:        medium;
   border-style:        solid;
   border-color:        #DDDDDD;
   text-align:          right;
   padding-right:       1em;
}

.mdt_d_download,.mdt_d_solufile {
   background-color:    #FFFFCC;
   width:               85%;
   border-width:        medium;
   border-style:        solid;
   border-color:        #DDDDDD;
   padding-left:        1em;
}

/* Bibliography -------------------------------------------------------------  */

img.getbar {
   border-style:   none;
   border:         0px;
   padding:        6px;
}

img.legend {
   border-style:   none;
   border:         0px;
   padding:        6px;
}

img.flag {
   border-style:   none;
   border:         0px;
   text-align:     center;
   vertical-align: middle;
}

img.files_icon {
   border-style:   none;
   border:         0px;
   vertical-align: bottom;
}

table.entry {
   padding:          4px;
   margin-bottom:    1em;
   width:            100%;
   border-style:     none;
   border-collapse:  collapse;
   empty-cells:      show;
   table-layout:     auto;
   overflow:         visible;
   clear:            both;
}

p.years {
}

/* published */

.publ_h_title,.publ_h_booktitle,.publ_h_author,.publ_h_editor,.publ_h_published,.publ_h_journal,.publ_h_number,.publ_h_year,.publ_h_files,.publ_h_seealso {
   background-color: #8080FF;
   width:            10%;
   border-width:     thin;
   border-style:     solid;
   border-color:     #DDDDDD;
   text-align:       left;
   padding-right:    1em;
}

.publ_d_title,.publ_d_booktitle {
   background-color: #FFFFCC;
   width:            90%;
   border-width:     thin;
   border-style:     solid;
   border-color:     #DDDDDD;
   text-align:       left;
   padding-right:    1em;
   font-style:       italic;
}

.publ_d_author,.publ_d_editor,.publ_d_published,.publ_d_journal,.publ_d_number,.publ_d_year,.publ_d_files,.publ_d_seealso {
   background-color: #FFFFCC;
   width:            90%;
   border-width:     thin;
   border-style:     solid;
   border-color:     #DDDDDD;
   text-align:       left;
   padding-right:    1em;
}

/* books */
.book_h_title,.book_h_booktitle,.book_h_author,.book_h_editor,.book_h_published,.book_h_journal,.book_h_number,.book_h_year,.book_h_files,.book_h_seealso {
   background-color: #FF7070;
   width:            10%;
   border-width:     thin;
   border-style:     solid;
   border-color:     #DDDDDD;
   text-align:       left;
   padding-right:    1em;
}

.book_d_title,.book_d_booktitle {
   background-color: #FFFFCC;
   width:            90%;
   border-width:     thin;
   border-style:     solid;
   border-color:     #DDDDDD;
   text-align:       left;
   padding-right:    1em;
   font-style:       italic;
}

.book_d_author,.book_d_editor,.book_d_published,.book_d_journal,.book_d_number,.book_d_year,.book_d_files,.book_d_seealso {
   background-color: #FFFFCC;
   width:            90%;
   border-width:     thin;
   border-style:     solid;
   border-color:     #DDDDDD;
   text-align:       left;
   padding-right:    1em;
}

/* unpublished */
.misc_h_title,.misc_h_booktitle,.misc_h_author,.misc_h_editor,.misc_h_published,.misc_h_journal,.misc_h_number,.misc_h_year,.misc_h_files,.misc_h_seealso {
   background-color: #B0B0D0;
   width:            10%;
   border-width:     thin;
   border-style:     solid;
   border-color:     #DDDDDD;
   text-align:       left;
   padding-right:    1em;
}

.misc_d_title,.misc_d_booktitle {
   background-color: #FFFFCC;
   width:            90%;
   border-width:     thin;
   border-style:     solid;
   border-color:     #DDDDDD;
   text-align:       left;
   padding-right:    1em;
   font-style:       italic;
}

.misc_d_author,.misc_d_editor,.misc_d_published,.misc_d_journal,.misc_d_number,.misc_d_year,.misc_d_files,.misc_d_seealso {
   background-color: #FFFFCC;
   width:            90%;
   border-width:     thin;
   border-style:     solid;
   border-color:     #DDDDDD;
   text-align:       left;
   padding-right:    1em;
}




/* Legend -------------------------------------------------------------  */


/* simple allignment for table */

.legend { 
   font-family:      "Helvetica", sans-serif;
}
.legend_d { 
   text-align:          left;
   padding-right:       12px;
}
.legend_h {
   text-align:          left;
   border-width:        thin;
   font-size: smaller;
   padding-right:       12px;
   font-family: monospace,monospace;
}
.legend_d_mono { 
   text-align:          left;
   padding-right:       12px;
   font-family: monospace,monospace;
}
.legend_d_monobold { 
   text-align:          left;
   padding-right:       12px;
   font-weight: bold;
   font-family: monospace,monospace;
}