@import "header.css";
@import "maintext.css";
@import "headings.css";
@import "tables.css";

#topics_list, #assignments_and_project, 
#development_environment_discussion, #announce,
#sched, #textbook, #assigned_readings, #contact_me, #homework,
#resrcs, #css_software, #css_suggested_readings, #css_project {
   float: left;
   width: 95%;
}

#textbook {
   margin-bottom: 15px;
}

#announcements dt {
   font-style: italic;
}

/* TO WHITE OUT THE SECTIONS */
#content>#maintext h2>a:hover
{
   color: rgb( 255, 255, 255 );
   outline: none;
}

.boxed_and_colored_content
{
   border: 1px solid rgb( 200, 200, 200 );
   background-color: rgb( 240, 240, 240 );
   padding: 10px;
   width: 92%;
   margin: 5px auto;
}

.no_margins
{
   margin: 0 !important;
}

body
{
   font-family: baskerville, georgia, sylfaen, 
   "Palatino Linotype", palatino, utopia,
   "DejaVu Serif", serif;
   margin: 0;
   padding: 0;
   color: #333;
   background-color: #fff;
   background-image: url(NONE);
   background-repeat: no-repeat;
   background-attachment: fixed;
}

#content
{
   position: relative;
   clear: both;
   width: 710px;
   margin: 0 auto;
}

p.banners
{
   text-align: center;
}

img.center
{
   margin-left: auto;
   margin-right: auto;
   display: block;
}

.semi_wide_silver_border
{
   border: 3px double #c0c0c0;
   width: 95%
}

.go_to_top
{
   float: right;
   width: 5%;
}

.floatright
{
   float: right;
   width: auto;
}

a img
{
   border: none;
   background-color: transparent;
}

.enclosed_light_blue_box
{
   background-color: rgb( 189, 230, 255 );
   margin-left: 17px;
   margin-right: 17px;
   padding: 20px;
   border: 1px solid #b0b1ba;
   margin-bottom: 15px;
}

.code-example, pre
{
   font-family: Courier, "Courier New", monospace;
   background-color: #f3f1f4;
   margin-left: 20px;
   margin-right: 20px;
   padding: 20px;
   border: 1px solid #b0b1ba;
   margin-bottom: 15px;
   font-size: 85%;
}

span, ul + span
{
   color: #000099;
   display: block;
   text-align: right;
   margin-right: 20px;
}

span a
{
   text-decoration: none;
}

span.underline
{
   text-decoration:underline;
}

.clear_all
{
   clear: both;
}
span.code {
   margin: 0;
   display: inline;
   text-align: left;
   font-family: monospace;
   font-weight: bold;
   color: #555;
   font-size: 1.2em;
}
.highlight {
   color: red;
   background-color: yellow;
}