/* ----- Global --------------------------------------------- */

html { margin: 0px; border: 3px solid #9CCE9C;
       background-image: url(gg_graph_s.gif); 
       background-repeat: repeat-y }
body { margin: 0px; border: 0px; solid #9CCE9C;
       background-image: url(gg_graph_s.gif); 
       background-repeat: repeat-y }

table.layout { margin: 0px; padding: 0px }

td.about_navpane { vertical-align: top;
                   background-image: url(gg_graph_s.gif); 
                   background-repeat: repeat-y }	  
td.about_txtpane { vertical-align: top;
                   background-image: url(gg_graph_l.gif); 
		   background-repeat: repeat-y }	  
td.prob_navpane  { vertical-align: top;
                   background-image: url(gg_graph_s.gif); 
		   background-repeat: repeat-y }	  
td.prob_txtpane  { vertical-align: top;
                   background-image: url(gg_graph_s.gif); 
		   background-repeat: repeat-y }	  


/* ----- Main --------------------------------------------- */

div.spacer   { height: 1em }
div.probtext { padding: 5ex; border-left: 3px double #9CCE9C }

a:link    { }
a:visited { }
a:hover   { text-decoration: underline }
a:active  { }


/* ----- Navbar --------------------------------------------- */

/* --- .navbar   : global for navbar */
div.navbar { width: 180px; padding: 1ex }

h2.navbar { font-size: medium; text-align: center; margin-bottom: 1ex }
hr.navbar { width: 80%; margin-top: 2em; margin-left: auto; margin-right: auto}


/* --- .navprob  : "content/problem" section of navbar */
ul.navprob { list-style-type: none; padding-left: 0px; text-align: center }
li.navprob { margin-bottom: 1em }

a:link.navprob    { color: gray }
a:visited.navprob { }
a:hover.navprob   { text-decoration: underline }
a:active.navprob  { }

img.navprob      { width: 64px; height: 40px; border: thin solid black }
img.navprobempty { width: 64px; height: 40px; border: medium solid silver }
                /* margin-top: 0.5em; margin-bottom: 0.25em } */

span.navprobthin { font-size: small;  font-weight: normal; color: gray }
span.navprobfat  { font-size: medium; font-weight: bold; color: gray }


/* --- .navabout : "about" section of navbar */
ul.navabout { }
li.navabout { }
a:link.navabout    { color: #666 }
a:visited.navabout { }
a:hover.navabout   { text-decoration: underline }
a:active.navabout  { }


/* ----- About --------------------------------------------- */

div.abouttext { padding: 5ex; border-left: 3px double #9CCE9C }

/* note: several local styles defined at top of individual pages... */


/* ----- Probs --------------------------------------------- */

h1 { clear: both } /* Force a line-break BEFORE any <h1> tag */


div.printable  { text-align: center; width: 100px; float: right }
img.printable  { border: 0px solid black; margin-bottom: 0ex }
span.printable { font-size: 0.75em }

a:link.printable    { color: black }
a:visited.printable { }
a:hover.printable   { text-decoration: underline }
a:active.printable  { }


div.author_info { line-height: 0ex }

h3.abstract  { margin-top: 3em; margin-bottom: 0.5em; text-align: center }
div.abstract { width: 80%; 
               margin-left: auto; margin-right: auto; margin-bottom: 2.5em;
               font-style: italic; font-size: small }

div.copyright   { text-align: center }
span.copynotice { font-size: smaller; font-style: italic }
span.copysource { font-size: smaller  }