typo3/ext/phpmyadmin/modsub/phpmyadmin-2.6.2/themes/original/css/theme_right.css.php

Go to the documentation of this file.
00001 /* Always enabled stylesheets (right frame) */
00002 body {
00003     font-family: <?php echo $right_font_family; ?>;
00004     font-size: <?php echo $font_size; ?>;
00005     color: #000000;
00006     <?php
00007     if ($GLOBALS['cfg']['RightBgImage'] == '') {
00008         // calls from a css file are relative to itself, so use ../images
00009         echo '    background-image: url(../themes/original/img/vertical_line.png);' . "\n"
00010            . '    background-repeat: repeat-y;' . "\n";
00011     } else {
00012         echo '    background-image: url(' . $GLOBALS['cfg']['RightBgImage'] . ');' . "\n";
00013     } // end if... else...
00014     ?>
00015     background-color: <?php echo $GLOBALS['cfg']['RightBgColor'] . "\n"; ?>
00016 }
00017 
00018 pre, tt         {font-size: <?php echo $font_size; ?>}
00019 th              {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; font-weight: bold; color: #000000; background-color: <?php echo $GLOBALS['cfg']['ThBgcolor']; ?>}
00020 td              {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>}
00021 form            {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; padding: 0px; margin: 0px;}
00022 input           {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>}
00023 input.textfield {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000; background-color: #FFFFFF}
00024 select          {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000; background-color: #FFFFFF}
00025 textarea        {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000; background-color: #FFFFFF}
00026 h1              {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold}
00027 h2              {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold}
00028 h3              {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; font-weight: bold}
00029 a:link          {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; text-decoration: none; color: #0000FF}
00030 a:visited       {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; text-decoration: none; color: #0000FF}
00031 a:hover         {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; text-decoration: underline; color: #FF0000}
00032 a.nav:link      {font-family: <?php echo $right_font_family; ?>; color: #000000}
00033 a.nav:visited   {font-family: <?php echo $right_font_family; ?>; color: #000000}
00034 a.nav:hover     {font-family: <?php echo $right_font_family; ?>; color: #FF0000}
00035 a.h1:link       {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold; color: #000000}
00036 a.h1:active     {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold; color: #000000}
00037 a.h1:visited    {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold; color: #000000}
00038 a.h1:hover      {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold; color: #FF0000}
00039 a.h2:link       {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold; color: #000000}
00040 a.h2:active     {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold; color: #000000}
00041 a.h2:visited    {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold; color: #000000}
00042 a.h2:hover      {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold; color: #FF0000}
00043 a.drop:link     {font-family: <?php echo $right_font_family; ?>; color: #ff0000}
00044 a.drop:visited  {font-family: <?php echo $right_font_family; ?>; color: #ff0000}
00045 a.drop:hover    {font-family: <?php echo $right_font_family; ?>; color: #ffffff; background-color:#ff0000; text-decoration: none}
00046 dfn             {font-style: normal}
00047 dfn:hover       {font-style: normal; cursor: help}
00048 .nav            {font-family: <?php echo $right_font_family; ?>; color: #000000}
00049 .warning        {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; font-weight: bold; color: #FF0000}
00050 .tblcomment     {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_smallest; ?>; font-weight: normal; color: #000099; }
00051 td.topline      {font-size: 1px}
00052 td.tab          {
00053     border-top: 1px solid #999;
00054     border-right: 1px solid #666;
00055     border-left: 1px solid #999;
00056     border-bottom: none;
00057     border-radius: 2px;
00058     -moz-border-radius: 2px;
00059 }
00060 
00061 div.tabs        {
00062     clear: both;
00063 }
00064 
00065 table.tabs      {
00066     border-top: none;
00067     border-right: none;
00068     border-left: none;
00069     border-bottom: 1px solid #666;
00070 }
00071 
00072 fieldset        {
00073     border:     #686868 solid 1px;
00074     padding:    0.5em;
00075 }
00076 fieldset fieldset {
00077     margin:     0.8em;
00078 }
00079 
00080 button.mult_submit {
00081     border: none;
00082     background-color: transparent;
00083 }
00084 
00085 .pdflayout {
00086     overflow:         hidden;
00087     clip:             inherit;
00088     background-color: #FFFFFF;
00089     display:          none;
00090     border:           1px solid #000000;
00091     position:         relative;
00092 }
00093 
00094 .pdflayout_table {
00095     background:       <?php echo $GLOBALS['cfg']['ThBgcolor']; ?>;
00096     color:            #000000;
00097     overflow:         hidden;
00098     clip:             inherit;
00099     z-index:          2;
00100     display:          inline;
00101     visibility:       inherit;
00102     cursor:           move;
00103     position:         absolute;
00104     font-size:        <?php echo $font_smaller; ?>;
00105     border:           1px dashed #000000;
00106 }
00107 
00108 .print{font-family:arial;font-size:8pt;}
00109 
00110 /* MySQL Parser */
00111 .syntax {font-family: sans-serif; font-size: <?php echo $font_smaller; ?>;}
00112 .syntax_comment            { padding-left: 4pt; padding-right: 4pt;}
00113 .syntax_digit              {}
00114 .syntax_digit_hex          {}
00115 .syntax_digit_integer      {}
00116 .syntax_digit_float        {}
00117 .syntax_punct              {}
00118 .syntax_alpha              {}
00119 .syntax_alpha_columnType   {text-transform: uppercase;}
00120 .syntax_alpha_columnAttrib {text-transform: uppercase;}
00121 .syntax_alpha_reservedWord {text-transform: uppercase; font-weight: bold;}
00122 .syntax_alpha_functionName {text-transform: uppercase;}
00123 .syntax_alpha_identifier   {}
00124 .syntax_alpha_charset      {}
00125 .syntax_alpha_variable     {}
00126 .syntax_quote              {white-space: pre;}
00127 .syntax_quote_backtick     {}
00128 
00129 hr{ color: #666666; background-color: #666666; border: 0; height: 1px; }
00130 
00131 /* new styles for navigation */
00132 
00133 .nav {
00134     font-family: <?php echo $right_font_family; ?>;
00135     color: #000000;
00136     border-top: none;
00137     border-right: none;
00138     border-left: none;
00139     border-bottom: 1px solid #666;
00140 }
00141 .navSpacer {
00142     width:            5px;
00143     height:           16px;
00144 }
00145 .navNormal, .navDrop, .navActive {
00146     font-family:      <?php echo $right_font_family; ?>;
00147     font-size:        <?php echo $font_size; ?>;
00148     font-weight:      bold;
00149     border-top: 1px solid #999;
00150     border-right: 1px solid #666;
00151     border-left: 1px solid #999;
00152     border-bottom: none;
00153     border-radius: 2px;
00154     -moz-border-radius: 2px;
00155     padding: 2px 5px 2px 5px;
00156 }
00157 .navNormal {
00158     color:            #000000;
00159     background-color: #E5E5E5;
00160 }
00161 .navActive{
00162     font-family:      <?php echo $right_font_family; ?>;
00163     font-size:        <?php echo $font_size; ?>;
00164     font-weight:      bold;
00165     color:            #000000;
00166     background-color: #CCCCCC;
00167 }
00168 .navDrop{
00169     color: #000000;
00170     background-color: #E5E5E5;
00171 }
00172 .navNormal a:link, .navNormal a:active, .navNormal a:visited, .navActive a:link, .navActive a:active, .navActive a:visited{
00173     color: #0000FF;
00174 }
00175 
00176 .navDrop a:link, .navDrop a:active, .navDrop a:visited{
00177     color: #FF0000;
00178 }
00179 .navDrop a:hover{
00180     color: #FFFFFF;
00181     background-color: #FF0000;
00182 }
00183 .navNormal a:hover, .navActive a:hover{
00184     color: #FF0000;
00185 }
00186 
00187 /* Warning showing div with right border and optional icon */
00188 
00189 div.errorhead {
00190     font-weight: bold;
00191     color: #ffffff;
00192     text-align: left;
00193     <?php if ($cfg['ErrorIconic'] && isset($js_isDOM) && $js_isDOM != '0') { ?>
00194     background-image: url(../themes/original/img/s_error.png);
00195     background-repeat: no-repeat;
00196     background-position: 5px 50%;
00197     padding: 0px 0px 0px 25px;
00198     <?php } ?>
00199     margin: 0px;
00200 }
00201 
00202 /* tables */
00203 .tblError {
00204     border: 1px solid #FF0000;
00205     background-color: #FFFFCC;
00206 }
00207 .tblWarn, div.tblWarn {
00208     border: 1px solid #FF0000;
00209     background-color: #FFFFFF;
00210 }
00211 div.tblWarn {
00212     padding: 5px 5px 5px 5px;
00213     margin:  0px 0px 5px 0px;
00214     width:   100%;
00215 }
00216 .tblHeaders {
00217     background-color: <?php echo $cfg['LeftBgColor']; ?>;
00218     font-weight: bold;
00219     color: #000000;
00220 }
00221 .tblFooters {
00222     background-color: <?php echo $cfg['LeftBgColor']; ?>;
00223     font-weight: normal;
00224     color: #000000;
00225 }
00226 .tblHeaders a:link, .tblHeaders a:active, .tblHeaders a:visited, .tblFooters a:link, .tblFooters a:active, .tblFooters a:visited {
00227     color: #0000FF;
00228 }
00229 .tblHeaders a:hover, .tblFooters a:hover { color: #FF0000; }
00230 .tblHeadError {
00231     background-color: #FF0000;
00232     font-weight: bold;
00233     color: #FFFFFF;
00234 }
00235 .tblHeadWarn {
00236     background-color: #FFCC00;
00237     font-weight: bold;
00238     color: #000000;
00239 }
00240 /* forbidden, no privilegs */
00241 .noPrivileges{
00242     color: #FF0000;
00243     font-weight: bold;
00244 }
00245 
00246 /* Heading */
00247 
00248 .serverinfo {
00249     font-family: <?php echo $right_font_family; ?>;
00250     font-size: <?php echo $font_size; ?>;
00251     font-weight: normal;
00252     white-space: nowrap;
00253     vertical-align: middle;
00254     padding: 0px 0px 10px 0px;
00255 }
00256 
00257 img, input, select, button {
00258     vertical-align: middle;
00259 }
00260 
00261 <?php if (isset($js_isDOM) && $js_isDOM != '0') { ?>
00262 .serverinfo a:link, .serverinfo a:active, .serverinfo a:visited {
00263     font-family: <?php echo $right_font_family; ?>;
00264     font-size: <?php echo $font_size; ?>;
00265     font-weight: bolder;
00266 }
00267 .serverinfo a img{
00268     vertical-align: middle;
00269     margin: 0px 1px 0px 2px;
00270 }
00271 .serverinfo div{
00272     background-image:    url(../themes/original/img/item_ltr.png);
00273     background-repeat:   no-repeat;
00274     background-position: 50% 50%;
00275     width: 20px;
00276     height: 16px;
00277 }
00278 
00279 /* disabled text */
00280 .disabled, .disabled a:link, disabled a:active, .disabled a:visited {
00281     font-family: <?php echo $right_font_family; ?>;
00282     font-size:   <?php echo $font_size; ?>;
00283     color:       #666666;
00284 }
00285 .disabled a:hover {
00286     text-decoration: none;
00287 }
00288 tr.disabled td, td.disabled {
00289     background-color: #cccccc;
00290 }
00291 
00292 #textSQLDUMP {
00293     width: 95%;
00294     height: 95%;
00295     font-family: "Courier New", Courier, mono;
00296     font-size:   12px;
00297 }
00298 <?php } // end of isDom ?>
00299 #TooltipContainer {
00300     position:   absolute;
00301     z-index:    99;
00302     width:      250px;
00303     height:     50px;
00304     overflow:   auto;
00305     visibility: hidden;
00306     background-color: #ffffcc;
00307     color:            #006600;
00308     border:           1px solid #000000;
00309     padding:          5px;
00310     font-family:      <?php echo $right_font_family; ?>;
00311     font-size:        <?php echo $font_size; ?>;
00312 }

Generated on Wed Aug 10 07:56:01 2005 for TYPO3 3.8.0 by  doxygen 1.4.3-20050530