/*
Index:
01. body style
02. headline
03. the menu bar
04. main menu bar
05. the main content style
08. footer line
09. Pygments syntax highlighter
*/
/* 
==============================================
01. body style
----------------------------------------------
*/
* { color: #000000 }

body{
  font-size:0.9em;
  font-family: tahoma, arial, sans-serif;
  background: #F7F7FF;
  margin: 15px 10% 15px 10%;
  min-width:802px;
}

/*
02. headline
 headline definition if you use a picture:
----------------------------------------------
#headline {
  background: #022C8A;
  text-align: center;
  height: 70px;
  margin: 0px;
  padding: 0px;
  border: 1px solid black;
  border-bottom: 0px;
}
#headline img {
  border: 0px;
  overflow:hidden;
}
----------------------------------------------
*/

/*
 headline definition with text only:
*/
#headline {
  background: #022C8A;
  font-size: 30px;
  margin: 0px;
  padding: 10px;
  border: 1px solid black;
  border-bottom: 0px;
}
#headline a {
  text-decoration:none;
  color: white;
}
/*
----------------------------------------------
*/

#back_links_lucidTag     {
  display:none;
}


/* 
==============================================
03. the menu bar
----------------------------------------------
*/
#the_menu {
  color: white;
  background: #ceb4ff;
  background-image: url('/images/the_menu_bk.png');
  background-repeat: repeat-x;
  border: 1px solid #B1B08B;
  padding: 0px;
  margin: 0px;
  height: 25px;
}
#the_menu img {
  text-align: center;
}
#the_menu a    {
}

/* searching bar */
#searching {
  display: none;
  merge: 0;
  padding: 0;
}
#searching input, #searching button {
  font-size: 0.85em;
  border: 1px solid #444;
  padding: 1px;
}
/* end menu bar */

/*  
==============================================
04. main menu bar
----------------------------------------------
*/
.main_menu *    {
  text-align: center;
  margin: 0;
  padding: 0;
  list-style-image:none;
  list-style-position:outside;
  list-style-type:none;
}

.main_menu ul li    {
  border-width:0px;
  border-color:white;
  border-style:solid;
  padding: 0px 10px;
}

.main_menu a {
  color: white;
  text-decoration: none;
  font-weight:bolder;
  text-decoration: none;
}
.main_menu a:hover, .main_menu a.current {
  text-decoration: underline;
}

#main_menu_lucidTag ul    {
  display:block;
  width:100%;
  margin:5px auto;
}
#main_menu_lucidTag ul *    {
  display:inline;
  padding: 0px 10px;
}

/* slide menu */
#slide    {
  float:left;
  width: 15%;
  padding: 100px 0px;
}

#main_menu_lucidTag1 *    {
  display:block;
  background-color: #ceb4ff;
}
/* end main menu */





#middle    {
  min-height:400px;
  background: #E5E5FF;
  padding: 5px;
  border: 1px solid black;
}
/* * * * * * * * * * * * * * * * * * * * * * * 
==============================================
05. the main content style
----------------------------------------------
* * * * * * * * * * * * * * * * * * * * * * * */
#main_content {
  width: 85%;
  padding-left:15%;
}

a:hover, a .current {
  background-color: #C9C9C9;
  color: white;
}

pre {
  border:1px solid grey;
  background-color: white;
}



/* ---------------------------------------------------------------------- 
 * The style in page content
 */
#page_content {
  width:100%;
  padding: 0px 2px;
}

/* cut the content into columns 
 */
#ccolum {
    display:block;
    width:100%;
}

#ccolum .left {
    float:left;
    top:0;
    display:inline-block;
    width:49%;
    padding:0px;
    margin:0px;
    border-width:0px;
}

#ccolum .right {
    float:left;
    top:0;
    display:inline-block;
    width:49%;
    padding:0px;
    margin:0px;
    border-width:0px;
}

#ccolum .center {
    float:left;
    top:0;
    display:inline-block;
    width:29%;
    padding:0px;
    margin:0px;
    border-width:0px;
}

/* ---------------------------------------------------------------------- */
textarea {
  width: 100%;
}
.back_links, #permalink {
  font-size: 0.8em;
}
#permalink {
  clear:both;
  text-align: right;
  padding: 10px;
}

/*  
==============================================
08. footer line
----------------------------------------------
*/
#footer {
  clear:both;
  font-size:0.75em;
  border: 1px solid black;
  padding: 5px;
  text-align: center;
}

/* ----------------------------------------------------------------------
09.   Pygments syntax highlighter
---------------------------------------------------------------------- */
.pygments_code, .pygments_code table, .pygments_code .code, .pygments_code pre {
  background: #ffffff;
  padding: 0;
  margin: 0;
}
.pygments_code pre {
 border: 1px;
}
.pygments_code .code {
  width: 100%;
}
.pygments  { background: #ffffff; }
.pygments .c { color: #808080 } /* Comment */
.pygments .err { color: #F00000; background-color: #F0A0A0 } /* Error */
.pygments .k { color: #008000; font-weight: bold } /* Keyword */
.pygments .o { color: #303030 } /* Operator */
.pygments .cm { color: #808080 } /* Comment.Multiline */
.pygments .cp { color: #507090 } /* Comment.Preproc */
.pygments .c1 { color: #808080 } /* Comment.Single */
.pygments .cs { color: #cc0000; font-weight: bold } /* Comment.Special */
.pygments .gd { color: #A00000 } /* Generic.Deleted */
.pygments .ge { font-style: italic } /* Generic.Emph */
.pygments .gr { color: #FF0000 } /* Generic.Error */
.pygments .gh { color: #000080; font-weight: bold } /* Generic.Heading */
.pygments .gi { color: #00A000 } /* Generic.Inserted */
.pygments .go { color: #808080 } /* Generic.Output */
.pygments .gp { color: #c65d09; font-weight: bold } /* Generic.Prompt */
.pygments .gs { font-weight: bold } /* Generic.Strong */
.pygments .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.pygments .gt { color: #0040D0 } /* Generic.Traceback */
.pygments .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
.pygments .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
.pygments .kp { color: #003080; font-weight: bold } /* Keyword.Pseudo */
.pygments .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
.pygments .kt { color: #303090; font-weight: bold } /* Keyword.Type */
.pygments .m { color: #6000E0; font-weight: bold } /* Literal.Number */
.pygments .s { background-color: #fff0f0 } /* Literal.String */
.pygments .na { color: #0000C0 } /* Name.Attribute */
.pygments .nb { color: #007020 } /* Name.Builtin */
.pygments .nc { color: #B00060; font-weight: bold } /* Name.Class */
.pygments .no { color: #003060; font-weight: bold } /* Name.Constant */
.pygments .nd { color: #505050; font-weight: bold } /* Name.Decorator */
.pygments .ni { color: #800000; font-weight: bold } /* Name.Entity */
.pygments .ne { color: #F00000; font-weight: bold } /* Name.Exception */
.pygments .nf { color: #0060B0; font-weight: bold } /* Name.Function */
.pygments .nl { color: #907000; font-weight: bold } /* Name.Label */
.pygments .nn { color: #0e84b5; font-weight: bold } /* Name.Namespace */
.pygments .nt { color: #007000 } /* Name.Tag */
.pygments .nv { color: #906030 } /* Name.Variable */
.pygments .ow { color: #000000; font-weight: bold } /* Operator.Word */
.pygments .w { color: #bbbbbb } /* Text.Whitespace */
.pygments .mf { color: #6000E0; font-weight: bold } /* Literal.Number.Float */
.pygments .mh { color: #005080; font-weight: bold } /* Literal.Number.Hex */
.pygments .mi { color: #0000D0; font-weight: bold } /* Literal.Number.Integer */
.pygments .mo { color: #4000E0; font-weight: bold } /* Literal.Number.Oct */
.pygments .sb { background-color: #fff0f0 } /* Literal.String.Backtick */
.pygments .sc { color: #0040D0 } /* Literal.String.Char */
.pygments .sd { color: #D04020 } /* Literal.String.Doc */
.pygments .s2 { background-color: #fff0f0 } /* Literal.String.Double */
.pygments .se { color: #606060; font-weight: bold; background-color: #fff0f0 } /* Literal.String.Escape */
.pygments .sh { background-color: #fff0f0 } /* Literal.String.Heredoc */
.pygments .si { background-color: #e0e0e0 } /* Literal.String.Interpol */
.pygments .sx { color: #D02000; background-color: #fff0f0 } /* Literal.String.Other */
.pygments .sr { color: #000000; background-color: #fff0ff } /* Literal.String.Regex */
.pygments .s1 { background-color: #fff0f0 } /* Literal.String.Single */
.pygments .ss { color: #A06000 } /* Literal.String.Symbol */
.pygments .bp { color: #007020 } /* Name.Builtin.Pseudo */
.pygments .vc { color: #306090 } /* Name.Variable.Class */
.pygments .vg { color: #d07000; font-weight: bold } /* Name.Variable.Global */
.pygments .vi { color: #3030B0 } /* Name.Variable.Instance */
.pygments .il { color: #0000D0; font-weight: bold } /* Literal.Number.Integer.Long */