%= stylesheet begin
  /* Header */
  .header {
    background-color:#ccffff;
    margin-bottom:10px;
    border-bottom:1px solid blue;
    height:40px;
  }
  .header li{
    float:left;
    padding: 10px 20px;
  }
  
  /* Main panel */
  .main_panel {
    width:900px;
    margin: 5px auto;
  }
  
  /* Source tree */
  .tree {
    width:100%;
    margin: 5px auto;
    border:2px solid gray;
  }
  .tree_header {
    background-color: #ccffff;
    border-bottom: 1px solid gray;
    padding: 10px;
  }
  .tree_header2 {
    padding: 5px;
  }
  .tree_header2_left {
    width:700px;
    float:left;
  }
  .tree_header2_right {
    text-align:right;
  }
  .tree_body {
    font-size:80%;
    width: 100%;
    background-color: #ccffff;
    padding:0;
    border-top: 1px solid blue;
    border-left: 1px solid blue;
    border-top: 1px solid blue;
  }
  .tree_body td {
    border-bottom: 1px solid blue;
    padding:5px;
  }
  
  /* Footer */
  .footer {
    background-color:#ccffff;
    margin-top:10px;
    padding:10px;
    border-top:1px solid blue;
    height:80px;
    text-align:center;
  }
  
  /* Utility */
  .clear {
    clear:both;
  }
% end