Moved the Agents into their own repo. Kept the agent.pl just for reference
This commit is contained in:
parent
22381be29a
commit
8680a02b13
18132 changed files with 0 additions and 2569420 deletions
|
|
@ -1,21 +0,0 @@
|
|||
body {
|
||||
margin-top:13px;
|
||||
_margin-top:14px;
|
||||
background:white;
|
||||
margin-left:32px;
|
||||
font-family:monospace;
|
||||
font-size:13px;
|
||||
white-space:pre;
|
||||
background-image:url("images/line-numbers.png");
|
||||
background-repeat:repeat-y;
|
||||
background-position:0 3px;
|
||||
line-height:16px;
|
||||
height:100%;
|
||||
}
|
||||
pre {margin:0;}
|
||||
html>body{background-position:0 2px;}
|
||||
P {margin:0;padding:0;border:0;outline:0;display:block;white-space:pre;}
|
||||
b, i, s, u, a, em, tt, ins, big, cite, strong, var, dfn {text-decoration:none;font-weight:normal;font-style:normal;font-size:13px;}
|
||||
|
||||
body.hide-line-numbers {background:white;margin-left:16px;}
|
||||
body.show-line-numbers {background-image:url("images/line-numbers.png");margin-left:32px;}
|
||||
Loading…
Add table
Add a link
Reference in a new issue