source: trunk/t3d/css/doc.css @ 7

/*
Navigation bar:
        div_views: contains list of all views and possible toggling options
        div_modules: contains list of TTCN3 modules
        div_index: contains list of TTCN3 elements
        
p_header: contains path navigation

div_content: contains page content
        div_element: contains source code of element in Main View
        div_comment: contains information from T3D comments
        div_statistics: contains statistics in index.html
        div_import: contains import table in Import View
        div_mp: contains tables in ModuleParameter/Testcase View
*/
@media screen{
body{
        background:#FFFFFF;
        font-family: Arial, Helvetica;
        color:#000000;
        margin:0;
        border:0;
        padding:0;
        height:100%; 
        max-height:100%;
        overflow: auto; 
}

#div_modules, #div_index, #div_content{
        overflow:auto;
}

#div_views, #div_index, #div_modules{
        background-color:#F3F3E7 !important;
        padding-left:10px;
        font-size:12px;
}

#div_element, #div_comment, #div_import, #div_mp, #div_statistics{
        font-size:12px;
}

#div_content{
  border:1px solid #000000;
  background-color:#FFFFFF;
  position:fixed; 
  top:60px;
  left:25%;
  right:1%;
  bottom:40px; 
  overflow:auto;
  padding:2px;
}


#div_import, #div_mp, #div_statistics, #div_comment, #div_element, #div_statistics{
        border-top:1px solid #000000;
        border-bottom:1px solid #000000;
}

#div_import, #div_mp, #div_statistics{
  background-color:#F3F3E7 !important;
}

#div_views{
  border:1px solid #000000;
  position:fixed; 
  top:10px;
  left:1%;
  bottom:40px;
  width:22%; 
  overflow:auto; 

}

#div_modules{
  border:1px solid #000000;
  position:fixed; 
  top:100px;
  left:1%;
  bottom:60%; 
  width:22%; 
  overflow:auto; 
}

#div_index{
  border:1px solid #000000;
  position:fixed; 
  top:40%;
  left:1%;
  bottom:40px;
  width:22%; 
  overflow:auto;
}

#div_comment, #div_element, #div_statistics{
        background-color:#F3F3E7;
        padding:15px;
        padding-top:0px;
        padding-bottom:0px;
        margin-bottom:20px;
}

#p_header a {
        color:#AAA;
}

#p_header a:hover {
        color:#FFF;
}

#p_t3dversion{
        right:1%;
        position:absolute;
        bottom:1px;
        text-align:right;
        font-size:10px;
}

#path{
        font-size:10px;
}

#p_header{
  border:1px solid #000000;
  font-size:15px;
  position:absolute; 
  top:10px; 
  left:25%; 
  right:1%; 
  height:30px; 
  overflow:hidden;
  margin:0px;
  padding:10px;
  background:#53829d;
  color:#FFFFFF;
}
}
/* Not YET Used */
#header {
  position:absolute; 
  top:0; 
  left:0; 
  width:100%;
  height:120px;
  overflow:auto;
  background:#53829d;
  color:#fff;
  }

/* Not YET Used */
#footer {
  position:absolute;
  bottom:0;
  left:0;
  width:100%;
  height:50px;
  overflow:auto;
  text-align:right;
  background:#73a2bd;
}

.td_commenttype{
        vertical-align:top;
}

table
{
        border-collapse:collapse;
}

table, td, th
{
        border:1px solid black;
}

#table_statistics{
        margin-top:20px;
        margin-left: auto;
        margin-right: auto;
}

.import_grey a{
        color:#777777 !important;
}

.td_table_statistics_left{
        text-align:right;
        padding-right:5px;
}

.td_table_statistics_mid{
        text-align:center;
        padding-right:5px;
}

.td_table_statistics_right{
        text-align:left;
        padding-left:5px;
}

#div_statistics th{
        width:30%;
        border-bottom:none !important;
}

#div_statistics td{
        text-align:center;
}

.td_table_statistics_modules{
        text-align:left !important;
}

#div_element{
        font-family:monospace;
}

a:link, a:active, a:hover, a:visited{
        color:#333377;
        text-decoration:none;
}

#div_element a{
        color:blue;
}

#div_element a:hover{
        color:red;
        text-decoration:underline;
}

#table_import td{
        vertical-align:top;
        width:33%;
        padding-left:10px;
}

#table_import{
        width:100%;
}




#table_import_modules{
  border-left:1px solid #000000;
  border-right:1px solid #000000;
}

.div_group_behaviour{
        padding-left:50px;
}

.comment_line{
        padding-right:50px;
}

.span_tagtype, .span_tagtypeOrig{
        font-weight:bold;
}

.bold{
        font-weight:bold;
}

#head_name{
        color:#0000FF;
        font-weight:bold;
}

.comment{
        background-color:#DDDDDD;
        padding:5px;
}

.elementName{
        background-color:#BBBBFF;
        padding-left:5px;
}
/*
importedby, importedby_ind, selected, imports, imports: determine colors of modules in Import View
*/
.importedby{
        color:#f86503 !important;
}

.importedby_ind{
        color:#FF0000 !important;
}

.selected{
        color:#000000 !important;
}

.imports{
        color:#278e57 !important;
}

.imports_ind{
        color:#00FF00 !important;
}


/* spans (toggle) notes */
.span_showhidenote{
        font-size: 5pt;
        bottom: 0.5em;
}

.padding_left_10px{
        padding-left:10px;
        border:none !important;
}

.padding_left_10px tr td{
        border:none !important;
}


.padding_left_20px{
        padding-left:20px;
}
/* contains source code */
pre {
        white-space: pre-wrap;
}
/*spans highlighted TTCN3 keywords*/
.syntax{
        font-weight:bold !important;
}

@media print{

body{
        background:#FFFFFF;
        font-family: Arial, Helvetica;
        color:#000000;
        margin:0;
        border:0;
        padding:0;
        height:100%; 
        max-height:100%;
}

div{
  margin-left:6px !important;
}
#div_views, #div_index, #div_modules {
        display:none !important;
}

#div_comment{
        border-bottom:1px solid #000000;
}

p, pre, span, a, div{
        color:#000000 !important;background-color:#FFFFFF !important;font-size:12px !important;
}
#div_content, #p_header{
        left:0px !important; width:615px !important; border:none !important; height:auto !important;
}

#div_element pre{
        border:0.5px dotted black !important;
}


#p_t3dversion{
        text-align:right;
        font-size:10px;
}

}