body 
{ 
  font-size: 10pt ;
  font-family: Tahoma, sans-serif ;
  margin: 0px ;
}

#title
{  
  float: right ;
  font-family: verdana, arial, helvetica, sans-serif ;
  font-weight: bold ;
  font-size: 18px ;
  margin-right: 0px ;
  margin-top: 60px ;
}

#header 
{
  font-size: 18px ;
  width: 100% ;
  height: 64px ;
  background: url("/images/header-background.gif") repeat ;
  margin: 0px ;
  border: 0px ;
}

#logo
{
  float: left ;
  margin-top: 0px ;
  margin-left: 0px ;
#  margin-right: 30px ;
}

#top
{
  width: 100% ;
  height: 28px ;
  border-top: 1px solid #eee ;
  border-bottom: 1px solid #888 ;
  background-color: #ccc ;
/*   border-bottom-width: 1px ; */
}

.topmenu
{
  height: 24px ;
  float: right ;
  margin-right: 0px ;
  margin-top: 4px ;
  padding: 0px ;
  background-color: #cccccc ;
}

.topmenu a
{
  font-size: 14px ;
  font-weight: bold ;
  color: #990101 ;
  text-decoration: none ;
  margin-left: 10px ;
  padding: 5px ;
  vertical-align: middle;
}

.menu
{ 
  padding: 5px ; 
  margin-top: 0px ; 
  margin: 5px ; 
  border-width: 1px ; 
  background-color: #f3f3ff ; 
  border-color: #9866FF ; 
  border-style: solid ; 
  font-family: sans-serif, arial, helvetica ; 
  float: left ; 
  font-size: 11pt ; 
}

#sidemenu
{
  width: 25% ;
  height: 100% ;
  float: right;
  border-bottom-style: none ;
  border-top-style: none ;
  border-right-style: none ;
  margin-left: 10px ;
  padding-left: 10px ;
  font-family: Tahoma. arial, helvetica, sans-serif ;
  font-size: 10pt ;
  text-align: justify ;
}

#sidemenu h1
{
  color: #990101 ;
  font-size: 11pt ;
  font-weight: bold ;
/*  border-bottom: 2px solid red;*/
}

#contents 
{ 
  margin-top: 0px ;
  margin-left: 0px ;
  font-family: Tahoma, arial, helvetica, sans-serif ; 
  font-size: 11pt ;
  text-align: justify;
}

.row-of-boxes
{
  clear: both ;
}

.half
{
  margin-top: 24px ;
  margin-left: 0px ;
  margin-bottom: 24px ;
  padding: 0px ;
  width: 46% ;
  float: left ;
  vertical-align: top ;
}

#footer 
{
  clear: both ;
  border-top: 1px solid #990101 ;
  padding-left: 24px ;
  padding-top: 10px ;
}

.centered-table
{
  margin-left: auto ;
  margin-right: auto ;
}

.centered
{
  font-size:  12pt;
  font-weight: bold ;
  text-align: center ;
}

#contents h1
{
  font-size: 16pt ;
  font-weight: bold ;
}

#contents p
{
  font-size: 10pt ;
} 

/* NEWS ===============================================================*/

.news
{
  width: 100% ;
  margin-top: 15px ;
  margin-right: 10px ;
  margin-bottom: 30px ;
}

.news p
{
  margin-top: 11px ;
  margin-left: 30px ;
  font-size: 12px ;
}

.news .title
{
  font-size: 16px ;
  font-weight: bold ;
  padding-bottom: 2px ;
  margin-left: 10px ;
  border: 0px solid #cc0101 ;
  border-bottom-width: 2px ;
}

.news .subtitle
{
  font-size: 12px ;
  font-style: italic;
  color: #444444 ;
  margin-left: 10px ;
  margin-top: 5px ;
}

h1
{
/*  font-size: 14px ;
  font-weight: bold ;
  border-bottom: red ;*/
}

.box_blue_header 
{ 
  margin-top: 2em ; 
  border-width: 1px; 
  border-color: #9866FF; 
  border-style: solid 
}

.box_blue_title 
{ 
  background: #ddddff; 
  padding: 2px; 
  border-bottom-style: solid; 
  border-width: 1px; 
  border-color: #C9AFFF 
}

.box_blue_contents 
{ 
  background: #f3f3ff; 
  padding: 8px 
}

.box_red_header 
{ 
  background: #f3f3ff; 
  padding: 8px 
}
.box_red_title 
{ 
  background: #ffdddd; 
  padding: 2px; 
  border-bottom-style: solid; 
  border-width: 1px; 
  border-color: #FF9393 
}
.box_red_contents 
{ 
  background: #fff3f3; 
  padding: 8px 
}

.box_green_header 
{ 
  border-width: 1px; 
  border-color: #7AB67F; 
  border-style: solid 
}
.box_green_title 
{ 
  background: #ddffdd; 
  padding: 2px; 
  border-bottom-style: solid; 
  border-width: 1px; 
  border-color: #99E49F 
}
.box_green_contents 
{ 
  background: #f3fff3; 
  padding: 8px 
}

/* Misc text style */

.error
{
  color: red ;
}

/* BLOG Style ==============================*/

.blogcontent
{
  padding: 16px ;
  width: 70% ;
  border-right: 1px dotted #888 ;
}

.blog
{
  border-bottom: 1px dotted #888 ;
}

pre
{
  font-size: 10pt ;
}

/* REPL ===================*/

.repl-results 
{
  overflow: auto; 
  margin: 0px; 
  padding: 5px; 
  font-family: courier; 
  color: #000; 
  background-color: #ccc; 
}

.repl-results pre 
{
  display: inline;
}

.repl-command 
{
  margin: 0px; 
  font-family: courier; 
  color: #000; 
  background-color: #ccc;
  width: 100%;
}

.card
{
  border: 1px solid #444 ;
  width: 640px ;
}

.card_image
{
  width: 640px ;
  margin: 0px ;
  padding: 0px ;
  border-bottom: 1px solid #444 ;
}

.card_message
{
  background: #eee ;
  margin: 0px ;
  padding: 0px ;
}

/* ALBUM */

.album_img_small {
    margin: 3px ;
}

.album_img_medium {
    margin: 5px ;
    background: #ccc;
}

.album_img_big {}

.album_img_snapshot {
}

.album_main {}

.album_link {}
{
    text-docoration: none;
}