diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-11-09 14:54:14 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-11-09 14:54:14 +0000 |
commit | fc7465f44f3c02c187502de42b4111837b4e960a (patch) | |
tree | 2ce310701b317e6f5c4525aacdfec8881c1cbf33 /doc/proofgen.css | |
parent | d2c01819c1b13213450c0427a0d3b6b87af24a3f (diff) |
Add web style sheet to doc output (work in progress)
Diffstat (limited to 'doc/proofgen.css')
-rw-r--r-- | doc/proofgen.css | 158 |
1 files changed, 158 insertions, 0 deletions
diff --git a/doc/proofgen.css b/doc/proofgen.css new file mode 100644 index 00000000..9df61b2d --- /dev/null +++ b/doc/proofgen.css @@ -0,0 +1,158 @@ +/* Style sheet for the Proof General web pages. + * David Aspinall, June 1999. + * proofgen.css,v 4.0 2000/03/13 07:36:57 da Exp + */ + +body{ + font-family: Verdana, Arial, sans-serif; + background: #2D1D03; /* background brown */ + background-attachment: fixed; + color: #FFFFFF; +} + +p{ + max-width: 1024px; + font-family: Verdana, Arial, sans-serif; + color: #FFFFFF; +} +pre{ + color: #FFFFFF; +} +h1{ + color: #FFFFFF; + font-size: large; + font-weight: bold; +} +h2{ + font-size: medium; + font-weight: bold; + color: #FFFFD0; + padding: 2px 4px 4px 8px; + background: #5D2D13; +} +h3{ + font-size: medium; + padding: 2px 2px 2px 8px; + margin-right: 50%; + background: #4D1D23; + color: #FFFFD0; +} +h4{ + font-size: medium; + color: #FFD0D0; + padding: 2px 2px 2px 8px; +} +blockquote,form,input,select{ + color: #FFFFFF; +} +address{ + font-size: small; + color: #FFFFFF; +} +select { + font-size: 100%; + background: #2D1D03; + color: #FFFFFF; +} +textarea,input { + font-size: 100%; + background: #4D2D23; + color: #FFFFFF; +} +input[type=submit],input[type=reset],input[type=Submit] { + font-size: 80%; + padding-top: 0px; + padding-bottom: 0px; + background: #401010; +} +#button:active{ + background: #402020; +} + +dl,ul,dir,li{ + color: #FFFFFF; + max-width: 1024px; +} + +dt{ font-style: italic; + padding: 2px 2px 2px 8px; + margin-left: 20px; + margin-right: 20px; + background: #4D1D23; +} + +table{ + font-family: Verdana, Arial, sans-serif; + color: #FFFFFF; +} + +table.menubar{ + font-family: Verdana, Arial, sans-serif; + font-size: smaller; + color: #FFFFFF; +} + +td,tr{ + color: #FFFFFF; +} + +a:link,a:visited{ + font-family: Verdana, Arial, sans-serif; + text-decoration: none; + color: #E0D020; +} + +a:active,a:hover{ + font-family: Verdana, Arial, sans-serif; + text-decoration: underline; + color: #E8D830; +} + +pre{ + background: #2D1D03; +} + +/* Specifics */ + +p.nb{ + font-size: smaller; + font-style: italic; +} + +/* These bits for Mailman pages for mailing lists */ +TD.head1old { + font-family: Verdana, Arial, sans-serif; + text-align: center; + color: #FFFFFF; + font-weight: bold; + font-size: 110%; +} +td.head1{ + font-family: Verdana, Arial, sans-serif; + font-weight: bold; + font-size: 110%; + text-align: center; + color: #FFFFFF; +} +td.head2{ + font-family: Verdana, Arial, sans-serif; + font-size: 100%; + font-weight: bold; + color: #FFFFD0; + padding: 2px 4px 4px 4px; + background: #7D4D33; +} +td.head3{ + font-family: Verdana, Arial, sans-serif; + padding: 2px 2px 2px 2px; + margin-right: 10%; + background: #6D3D43; + font-size: 80%; + color: #FFFFD0; +} +td.head4{ + font-family: Verdana, Arial, sans-serif; + font-size: 100%; + font-weight: bold; + color: #FFD0D0; +} |