body { 
    max-width: 75%; 
    margin: 8px auto; 
}

div.contents { 
    border: 2px solid #208080; 
    padding: 8px; 
    background-color: #f4f4f4;
}

div.contentsproj { 
    border: 2px solid #d02020; 
    padding: 8px; 
    background-color: #ededed;
}

a { 
    text-decoration: none; 
    color: blue; 
}

p,li { 
    text-align: justify; 
    font-family: Verdana, DejaVu Sans, BitStream Vera Sans, Arial, sans-serif; 
}

p.header { 
    font-size: 120%; 
    text-align: center; 
}

p.section  {
    padding-left: 5px; 
    font-size: 120%; 
    font-weight: bold;  
    border: 1px solid #208080; 
    background-color: #dfdfdf;
}

p.sectionproj  { 
    padding-left: 5px; 
    font-size: 120%; 
    font-weight: bold;  
    border: 1px solid #d02020; 
    background-color: #dfdfdf;
}

p.subsection  { 
    font-size: 110%; 
    font-weight: bold;  
}

p.footer { 
    font-size: 90%;
    text-align: center; 
}

p.toc { 
    font-size:  90%; 
    text-align: center; 
}

h1 { 
    text-align: center; 
    font-family: Verdana, DejaVu Sans, BitStream Vera Sans, Arial, sans-serif; 
}

th { font-family: Verdana, DejaVu Sans, BitStream Vera Sans, Arial, sans-serif; }
td { font-family: Verdana, DejaVu Sans, BitStream Vera Sans, Arial, sans-serif; }

pre { 
      border: solid #444444 1px;
      background-color: #f9f9f9;
      font-size:  90%; 
      font-family: Lucida Console, DejaVu Sans Mono, Bitstream Vera Sans Mono, monotype; 
      white-space: pre-wrap;       /* css-3 */
      white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
      white-space: -pre-wrap;      /* Opera 4-6 */
      white-space: -o-pre-wrap;    /* Opera 7 */
      word-wrap: break-word;       /* Internet Explorer 5.5+ */
      padding-left: 10px;
      padding-right: 10px;
      padding-top: 10px;
      padding-bottom: 0px;
      margin-top: 0px;
      text-align: left;
      margin-left: auto;
      margin-right: auto;
      max-width: 80%;
    }

/* For code */
span.comment { color: #dd8844; font-weight: bold; }


/* Blog style */
div.blogitem { 
        /* border: 1px solid #202020;  */
        padding: 8px; 
        background-color: #fafafa; 
}

.post-title{
	color: #208080;
        font-weight: bold;
        display: block;
	background: transparent;
	margin-bottom: 0;
}

.post-titleproj{
	color: #d02020;
        font-weight: bold;
        display: block;
	background: transparent;
	margin-bottom: 0;
}

.post-info{
        font-size: 70%;
	margin-top: 0;
	color: #666666;/*#FA0;*/
	background: transparent;
	padding-bottom: 1ex;
	/*border-bottom: 1px solid #FC0;*/
}