body { background-color:#909090; }
a:link { color:white; text-decoration:underline; }
a:visited { color:#A00000; text-decoration:underline; }

.shell
{

  background-color:	#c0c0c0;
	width: 90%;
	margin-top: 20px;
  margin-bottom: 0;
  margin-left:  auto;
  margin-right: auto;
  padding:		30px 20px;
  border-style:		ridge;
  border-color:     	#cccccc;
}

#maintop
{
  margin-top:	10px;
  width:		100%;
  border-bottom:	thin solid;
  border-color:	#eeeeee;
}

#topleftright
{
  text-align: justify;
}

#topleftright::after
{
  content: '';
  display: inline-block;
  width: 100%;
  height: 0;
  font-size:0;
  line-height:0;
}

#letterhead	{
    width:		100%;
    border-bottom:	thin solid;
    border-color:	#eeeeee;
    padding-bottom:	15px;
    }

#subpages	{
    width:		100%;
    line-height:	200%;
    padding-top:	10px;
    padding-bottom:	10px;
    border-bottom:	thin solid;
    border-color:	#eeeeee;
    }

#subpages_text	{
    padding-left:	20px;
    }

.biglink
{
  font-size:	110%;
}

h1
{
  display: block;
  font-size: 120%;
  margin-top: 0.67em;
  margin-left: 0;
  margin-right: 0;
  font-weight: bold;
}

.section
{
  width:		100%;
	padding-bottom:	15px;
	padding-left:	0px;
	border-bottom:	thin solid;
	border-color:	#eeeeee;
}

.section ul
{
  margin-bottom: 0.5em;
}

#myinfotext
{
      padding-left:	20px;
      padding-right: 20px;
      margin-left: auto;
      margin-right: auto;
}

#lastmodified	{
    position:	relative;
    font-size: 90%;
    width:		90%;
    margin-left:	auto;
    margin-right:	auto;
    padding:	10px 20px;
    border:		0px 0px;
    }

    #topleft
    {
      display: inline-block;
      vertical-align: top;
      margin-top: 15px;
      width: 100%;
    }

    #rightpic{
      display: inline-block;
      background-color:	#101010;
      color:			#A00000;
      border-style:		ridge;
      border-color:		#900000;
      padding:		0px 0px;
      margin:			15px 0px;
      width: 100%;
      height: auto;
      }

    #rightpic img
    {
      width: 100%;
      height:auto;
    }

#topmenu
{
  position: relative;
	width: 100%;
	height: 3.5em;
  margin-top: -40px;
  margin-left: -15px;
}

#topmenu ul
{
	position: absolute;
	text-align: left;
	padding: 0px;
	width: 100%;
}

#topmenu ul li
{
	position: relative;
	display: inline;
  font-variant:		small-caps;
  border-style:	ridge;
	border-color:     	#cccccc;
}

#topmenu ul li a
{
	padding: 0.5em 1.0em 0.5em 1.0em;
	text-decoration: none;
}

#topmenu ul li a:link
{
	color: black;
}

#topmenu ul li a:visited
{
	color: black;
}

#topmenu ul li a:hover
{
	text-decoration: underline;
}

#topmenu ul li a.active
{
	font-weight: bold;
}

#topmenu ul li a.menu
{
	color: black;
}

#research h1
{
  font-size:  150%;
  margin:		12pt 0;
}

#research .generic
{
  padding-left: 25px;
}

#research ol li
{
  margin-bottom: 5pt;
}

#contents
{
  position: relative;
  margin-left:auto;
  margin-right:auto;
  padding-left: 20px;
}

#contents a
{
  text-decoration: none;
}

#contents a:visited
{
  color:  white;
}

.column
{
	float: left;
	width: 50%;
}

.row:after
{
	content: "";
	display: table;
	clear: both;
}

.title
{
  font-style: italic;
}

.details
{
  text-align: justify;
  padding-left: 10px;
}

.arXiv
{
  display: inline;
  padding-left: 1em;
}

#gallery
{
  padding-top: 20px;
  text-align: center;
}

#gallery a
{
  padding-left: 30px;
}

#class_shell h1
{
  font-size:  100%;
  margin:		12pt 0 0 0;
}

#class_shell ul
{
  margin-top: 5pt;
}

@media only screen and (min-width: 600px)
{
  #topleft
  {
    width:auto;
  }

  #rightpic
  {
    width:auto;
  }

  #rightpic img
  {
    height: 333px;
    width: auto;
  }

  #research ul
  {
    width:  50%;
  }

  #contents
  {
    width: 40%;
    margin-left:40px;
    margin-right:0;
  }

  #gallery a
  {
    float: left;
  }
}