BODY { 
    background: black;
    font-size: larger;
    color: rgb(240,240,180);
    margin: 0px;
    padding: 0px;
}

H1 A {
   text-decoration: none;
   color: rgb(240,240,180);
}

H1 A:visited {
   color: rgb(240,240,180);
}

A:link {
   color: rgb(160,180,240);
}

A:visited {
   color: rgb(200,80,200);
}

.text_list {
   margin-top: 15px;
}

#ie_warning_box {
   margin-top: 10px;
}

.top_color_bar {
   height: 70 px;
   background-color: rgb(0,40,0);
}

.top_adbox {
    padding: 4px;
}

.index_box_head {
   background-color: rgb(90,20,20);
   border-top: double 3px rgb(200,20,20);;
   border-left: double 3px rgb(200,20,20);;
   border-right: double 3px rgb(200,20,20);;
   padding-left: 5px;
   padding-right: 5px;
   margin-left: 5px;
   margin-right: 5px;
   border-bottom: none;
   font-family: sans-serif;
   font-style: italic;
   font-size: larger;
}

.index_box {
   background-color: rgb(90,20,20);
   border: double 3px rgb(200,20,20);;
   padding-left: 5px;
   padding-right: 5px;
   margin-left: 5px;
   margin-right: 5px;
   margin-bottom: 10px;
   font-family: sans-serif;
}

.index_box_item {
   margin-right: 5px;
}
.face_count_cell: {
   padding-left: 2px;
   padding-right: 2px;
}

#index_model {
   float: right;
}

#polyhedron_model {
   float: right;
}

.prev_next_bar {
   padding-top: 10px;
}

.bottom_adbox {
   padding-top: 10px;
   padding-bottom: 10px;
}

H1 {
   margin-top: 0px;
   padding-top: 0px;
   padding-left: 10px;
   margin-bottom: 0px;
   font-weight: bold;
   font-style: italic;
   font-family: sans-serif;
}

H2 {
   margin-top: 0px;
   margin-bottom: 10px;
   font-family: sans-serif;
   font-style: italic;
   font-weight: normal;
   padding-left: 10px;
   font-size: smaller;
}

.giant {
   color: green;
   font-size: 100px;
   font-family: serif;
}