📄 docheader.txt
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN"<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> <meta name="author" content="Konrad Eisele, eiselekd@web.de"> <META http-equiv="Content-Script-Type" content="text/javascript"> <title> %filename% : l8arm - synthesizable ARM v4 vhdl model.</title>
<style type="text/css">#pghdr { color: #000F80; font: bold 12pt/14pt Verdana, Courier New, Helvetica; }#pghdr2 { color: #000F80; font: bold 10pt/12pt Verdana, Courier New, Helvetica; }img { border: 0px; }a { text-decoration: none; }#sec { color: #000000; font: bold 9pt/11pt Verdana, Courier New, Helvetica; }#item { color: #000000; font: normal 8pt/10pt Verdana, Courier New, Helvetica; }#bdy { color: #000000; font: normal 8pt/10pt Verdana, Courier New, Helvetica; background-color: #FFFFFF; }</style><script type="text/javascript">
var x_mouse = 0;
var y_mouse = 0;
var z_index = 0;
var isIE = document.all?true:false;
if (!isIE) document.captureEvents(Event.MOUSEMOVE);
document.onmousemove = getMousePosition;
function getMousePosition(e) {
var _x;
var _y;
if (!isIE) {
x_mouse = e.pageX;
y_mouse = e.pageY;
}
if (isIE) {
x_mouse = document.body.scrollLeft+event.x;
y_mouse = document.body.scrollTop+event.y;
//alert (document.body.scrollTop);
//x_mouse = event.clientX;
//y_mouse = event.clientY;
}
return true;
}
</script>
<script type="text/javascript">
function getObj(name) {
if (document.getElementById){
this.obj = document.getElementById(name);
this.style = document.getElementById(name).style;
} else if (document.all) {
this.obj = document.all[name];
this.style = document.all[name].style;
} else if (document.layers) {
if (document.layers[name]) {
this.obj = document.layers[name];
this.style = document.layers[name];
} else {
this.obj = document.layers.testP.layers[name];
this.style = document.layers.testP.layers[name];
}
}
}
function totop(treepart) {
var x = new getObj("T"+treepart);
x.style.zIndex=z_index++;
}
function show(treepart) {
var x = new getObj("T"+treepart);
x.style.position="";
x.style.visibility="";
document["I"+treepart].src="%img_docclose%";}
function hide(treepart) {
var x = new getObj("T"+treepart);
x.style.position="absolute";
x.style.visibility="hidden";
document["I"+treepart].src="%img_docopen%";}
function toggle(treepart) {
var x = new getObj("T"+treepart);
if (x.style.visibility=="hidden") {
show(treepart);
} else {
hide(treepart);
}
}
function setPos(anchor,obj){
var x = new getObj(anchor);
var newX = findPosX(x.obj);
var newY = findPosY(x.obj);
var y = new getObj(obj);
y.style.left = newX + 'px';
y.style.top = newY + 'px';
return 1;
}
function findPosX(obj){
var curleft = 0;
if (obj.offsetParent) {
while (obj.offsetParent) {
curleft += obj.offsetLeft
obj = obj.offsetParent;
}
}
else if (obj.x)
curleft += obj.x;
return curleft;
}
function findPosY(obj){
var curtop = 0;
if (obj.offsetParent) {
while (obj.offsetParent){
curtop += obj.offsetTop
obj = obj.offsetParent;
}
}
else if (obj.y)
curtop += obj.y;
return curtop;
}
</script>
</head>
<body id="bdy">
<p>
%filelist%
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -