/usr/share/tkgate/doc/tkgate.css is in tkgate-doc 2.0~b10-4ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 | body { font-family: helvetica; background: beige; }
tt { font-size: 14; }
img.canvas { background:white ; padding: 2; }
img.tool { background:#d9d9d9 ; padding: 2; }
font.tool { background:#d9d9d9 ; padding: 2; }
div.lfig { float: left; margin: 5; }
div.rfig { float: right; margin: 5; }
div.frame_rfig { float: right; margin: 5; border: solid black; padding: 5; border-width: 1; }
div.display { padding-left: 30; }
td { vertical-align: top; }
td.wide { padding-bottom: 10; }
td.center { text-align: center; vertical-align: center; }
td.tlb { text-align: center; vertical-align: top; width: 60; }
td.tld { text-align: left; vertical-align: top; }
table.display { padding-left: 30; padding-right: 30; }
td.tt { font-family: courier; padding-bottom: 10; }
table.tbar { padding-left: 30 }
th.tbar-b { text-align: left; width: 75;}
th.tbar-d { text-align: left; }
table.truthtable { table-layout: fixed; font-family: courier; border-collapse: collapse; }
td.ttleft { border-right: 1px solid black; width: 45; height: 25; text-align: center;}
td.tttop { border-bottom: 1px solid black; width: 25; }
td.tttopleft { border-right: 1px solid black; border-bottom: 1px solid black; width: 40; }
li.pad { padding-bottom: 10; }
|