Home | History | Annotate | Download | only in analyzer
      1 html { margin: 0px; } body { margin: 8px; }
      2 
      3 html, body {
      4   padding:0px;
      5   margin:0px;
      6   font-size:small; font-family:"Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, Helvetica, sans-serif; background-color: #fff; color: #222;
      7   line-height:1.5;
      8   background-color: #808080;
      9   
     10 }
     11 
     12 h1, h2, h3, tt { color: #000 }
     13 
     14 h1 { padding-top:0px; margin-top:0px;}
     15 h2 { color:#333333; padding-top:0.5em; }
     16 h3 { padding-top: 0.5em; margin-bottom: -0.25em; color:#2d58b7 }
     17 h4 { color:#2d58b7 }
     18 h4.faq { color:#2d58b7 }
     19 li { padding-bottom: 0.5em }
     20 ul { padding-left:1.5em; }
     21 
     22 .command { font-weight:bold }
     23 .code_highlight { font-weight:bold; color:#2d58b7 }
     24 .code_example { border-width:1px; border-style:solid; border-color:#cccccc; 
     25                 background-color:#eeeeee; padding:10px }
     26 
     27 /* Slides */
     28 IMG.img_slide {
     29     display: block;
     30     margin-left: auto;
     31     margin-right: auto
     32 }
     33 
     34 #page { width:930px;  text-align: left; margin: 0 auto; padding:0;
     35         background-color: white; height:100%;
     36         border-left: 1px solid #EBF0FA;
     37 }
     38 
     39 #content {
     40   clear: left;
     41   padding: 1em 2em 1em 2em;
     42   background-color: #ffffff;
     43 }
     44 
     45 .itemTitle { color:#2d58b7 }
     46 
     47 
     48 /* Tables */
     49 tr { vertical-align:top }
     50 
     51 table.options thead {
     52   background-color:#eee; color:#666666;
     53   font-weight: bold; cursor: default;
     54   text-align:left;
     55   border-top: 2px solid #cccccc;
     56   border-bottom: 2px solid #cccccc;
     57   font-weight: bold; font-family: Verdana
     58 }
     59 table.options { border: 1px #cccccc solid }
     60 table.options { border-collapse: collapse; border-spacing: 0px }
     61 table.options { margin-left:0px; margin-top:20px; margin-bottom:20px }
     62 table.options td { border-bottom: 1px #cccccc dotted }
     63 table.options td { padding:5px; padding-left:8px; padding-right:8px }
     64 table.options td { text-align:left; font-size:9pt }
     65 
     66 table.checkers { 
     67   border: 1px #cccccc solid;
     68   border-collapse: collapse;
     69   margin:0px; margin-top:20px; margin-bottom:20px;
     70   text-align:left;
     71   table-layout: fixed;
     72   width: 100%;
     73   word-wrap :break-word;
     74   font-size: 100%;
     75 }
     76 table.checkers thead {
     77   background-color:#eee; color:#666666;
     78   border-top: 2px solid #cccccc;
     79   border-bottom: 2px solid #cccccc;
     80   font-weight: bold; font-family: Verdana;
     81 }
     82 table.checkers td { border-right: 1px #cccccc dotted; border-bottom: 1px #cccccc dotted; }
     83 table.checkers td.aligned { text-align: center; vertical-align: middle; }
     84 table.checkers col.namedescr { width: 45% }
     85 table.checkers col.example { width: 55% }
     86 table.checkers col.progress { width: 84px }
     87 table.checkers thead td,
     88 table.checkers div.namedescr,
     89 table.checkers div.exampleContainer { overflow: hidden; padding: 5px 8px 10px 8px }
     90 /* table.checkers tbody div.example { font-family: monospace; white-space: pre } */
     91 table.checkers div.example { border-top:1px #cccccc dashed; width:100%; padding-top: 5px; margin-top: 5px }
     92 table.checkers div.example:first-child { border-top:none; padding-top: 0px; margin-top: 0px }
     93 table.checkers span.name { font-weight: bold }
     94 table.checkers span.lang { font-weight: bold; padding-left: 7px; /* display:block; */ }
     95 table.checkers div.descr { margin-top:7px }
     96 table.checkers div.functions { margin-top: 2px; font-style: italic; font-size: 90%; color:#00B }
     97 table.checkers pre { margin: 1px; font-size: 100%; word-wrap: break-word }
     98 table.checkers p { margin: 10px 0px 0px 0px; }
     99 table.checkers ul, li { margin: 0 }
    100 
    101