📄 header.inc.php3
字号:
<?php/* $Id: header.inc.php3,v 1.16 2000/02/13 20:15:50 tobias Exp $ */if(!isset($no_require)) include("lib.inc.php3");?><html><head><title>phpMyAdmin</title><style type="text/css">//<!--body { font-family: Arial, Helvetica, sans-serif; font-size: 10pt}th { font-family: Arial, Helvetica, sans-serif; font-size: 10pt; font-weight: bold; background-color: <?php echo $cfgThBgcolor;?>;}td { font-family: Arial, Helvetica, sans-serif; font-size: 10pt;}form { font-family: Arial, Helvetica, sans-serif; font-size: 10pt}h1 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 16pt; font-weight: bold}A:link { font-family: Arial, Helvetica, sans-serif; font-size: 10pt; text-decoration: none; color: blue}A:visited { font-family: Arial, Helvetica, sans-serif; font-size: 10pt; text-decoration: none; color: blue}A:hover { font-family: Arial, Helvetica, sans-serif; font-size: 10pt; text-decoration: underline; color: red}A:link.nav { font-family: Verdana, Arial, Helvetica, sans-serif; color: #000000}A:visited.nav { font-family: Verdana, Arial, Helvetica, sans-serif; color: #000000}A:hover.nav { font-family: Verdana, Arial, Helvetica, sans-serif; color: red;}.nav { font-family: Verdana, Arial, Helvetica, sans-serif; color: #000000}//--></style><!--<META HTTP-EQUIV="Expires" CONTENT="Fri, Jun 12 1981 08:20:00 GMT"><META HTTP-EQUIV="Pragma" CONTENT="no-cache"><META HTTP-EQUIV="Cache-Control" CONTENT="no-cache">--></head><body bgcolor="#F5F5F5" text="#000000" background="images/bkg.gif"><?phpif(isset($db)){ echo "<h1> $strDatabase $db"; if(isset($table)) { echo " - $strTable $table"; } echo "</h1>";}?>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -