Skip to content

Commit cf9e9bc

Browse files
cmhughescmhughes
committed
added webstuff (which will, presumably, become obsolete once we implement Beezer's xml idea)
1 parent abd0a31 commit cf9e9bc

File tree

88 files changed

+8085
-2
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

88 files changed

+8085
-2
lines changed

‎.gitignore

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
*.tcp
33
*.php
44
*.out
5-
webstuff
5+
#webstuff
66
localSettings.yaml
77
ideas.*
88
overview.*
@@ -18,3 +18,4 @@ longsolutions*
1818
*.toc
1919
*.idx
2020
*.maf
21+
*.pdf

‎exponentialfunctions.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
%+*** 111,112document.tex
1+
%+*** mainfile.tex
22
% arara: indent: {overwrite: on, trace: on, localSettings: yes}
33
%===================================
44
%

‎webstuff/document.css

Lines changed: 169 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,169 @@
1+
/*Credits: Dynamic Drive CSS Library */
2+
/*URL: http://www.dynamicdrive.com/style/ */
3+
<style type="text/css">
4+
5+
.urbangreymenu{
6+
width: 190px; /*width of menu*/
7+
}
8+
9+
.urbangreymenu .headerbar{
10+
font: bold 13px Verdana;
11+
color: white;
12+
background: #606060 no-repeat 8px 6px; /*last 2 values are the x and y coordinates of bullet image*/
13+
margin-bottom: 0; /*bottom spacing between header and rest of content*/
14+
margin-top: 0;
15+
text-transform: uppercase;
16+
padding: 7px 0 7px 0px; /*31px is left indentation of header text*/
17+
text-align:center;
18+
}
19+
20+
.urbangreymenu ul{
21+
list-style-type: none;
22+
margin: 0;
23+
padding: 0;
24+
margin-bottom: 0; /*bottom spacing between each UL and rest of content*/
25+
}
26+
27+
.urbangreymenu ul li{
28+
padding-bottom: 2px; /*bottom spacing between menu items*/
29+
}
30+
31+
.urbangreymenu ul li a{
32+
font: normal 12px Arial;
33+
color: black;
34+
background: #E9E9E9;
35+
display: block;
36+
padding: 5px 0;
37+
line-height: 17px;
38+
padding-left: 8px; /*link text is indented 8px*/
39+
text-decoration: none;
40+
}
41+
42+
.urbangreymenu ul li a:visited{
43+
color: black;
44+
}
45+
46+
.urbangreymenu ul li a:hover{ /*hover state CSS*/
47+
color: white;
48+
background: black;
49+
}
50+
51+
52+
body{
53+
margin:0;
54+
padding:0;
55+
line-height: 1.5em;
56+
padding: 20px;
57+
font: 86%/1.4 Arial, Verdana, sans-serif;
58+
background: #FFFFCC; color: #000;
59+
min-width: 640px; max-width: 1100px;
60+
}
61+
62+
a.plaintext{
63+
color: black; text-decoration : none;
64+
}
65+
66+
a.closebutton{
67+
color: white; text-decoration : none;
68+
}
69+
70+
#maincontainer{
71+
background:#f0f0f0;
72+
padding: 15px 25px;
73+
border: solid #bbb 3px;
74+
width: 1100px; /*Width of main container*/
75+
margin: 0 auto; /*Center container on page*/
76+
}
77+
78+
#topsection{
79+
background: #EAEAEA;
80+
height: 100px; /*Height of top section*/
81+
border: solid #bbb 1px;
82+
}
83+
84+
#topsection h1{
85+
margin: 0;
86+
padding-top: 15px;
87+
}
88+
89+
#contentwrapper{
90+
float: left;
91+
width: 100%;
92+
}
93+
94+
#contentcolumn{
95+
margin-right: 200px; /*Set right margin to RightColumnWidth*/
96+
background:#fff;
97+
padding: 15px 25px;
98+
border: solid #bbb 1px;}
99+
100+
#rightcolumn{
101+
float: left;
102+
width: 200px; /*Width of right column*/
103+
margin-left: -200px; /*Set left margin to -(RightColumnWidth) */
104+
/*background: #FDE95E;*/
105+
}
106+
107+
#footer{
108+
clear: left;
109+
width: 100%;
110+
background: black;
111+
color: #FFF;
112+
text-align: center;
113+
padding: 4px 0;
114+
}
115+
116+
#footer a{
117+
color: #FFFF80;
118+
}
119+
120+
.innertube{
121+
margin: 10px; /*Margins for inner DIV inside each column (to provide padding)*/
122+
margin-top: 0;
123+
}
124+
125+
126+
/* glossary box*/
127+
128+
/* Need to put the glossary boxes within a span element*/
129+
span span {position:absolute} /*span within a span*/
130+
span span span{position:relative} /*span within a span within a span (MathML)*/
131+
/*.glossarybox { width:200px; height:200px; padding:0.2em; position:relative; background-color:yellow; z-index:2; }*/
132+
.glossarybox {border: solid yellow 4px; padding:1em; position:relative; background-color:white; z-index:2; opacity:1.00}
133+
/*opacity:0.5; */
134+
135+
table { border: solid #bbb 1px; margin: 1em 0; clear: both;font-weight: normal; }
136+
td {border: solid #bbb 0px; padding: 0.1em 0.75em; vertical-align: top;font: 86%/1.4 Arial, Verdana, sans-serif; }
137+
td.top {border: solid #bbb 0px; padding: 0.1em 0.75em; vertical-align: top;font: 86%/1.4 Arial, Verdana, sans-serif; }
138+
139+
table.calculator {border: solid #bbb 0px; margin: 1em 0; clear: both;font-weight: normal;}
140+
table.calculator td {border: solid #bbb 1px; margin: 1em 0; clear: both;font-weight: normal; padding:40; }
141+
table.plain { border: #eee 0px solid; }
142+
143+
td.box { border: #000 1px solid;
144+
width: 70%;
145+
background: rgb(204,204,255);
146+
padding: 0.5em;}
147+
148+
td.picbox { border: #000 1px solid;
149+
width: 30%;
150+
padding: 0.5em;text-align: center;}
151+
152+
153+
div.changeable{ border: #eee solid;
154+
155+
border-width: thin;
156+
157+
/*background: #FFFFCC;*/
158+
padding: 0.5em;}
159+
160+
161+
a.heading {color:black; text-decoration:none}
162+
163+
a.heading:hover {color:black; background-color: rgb(204,204,255);} /*#CCCCFF;}*/
164+
165+
a.heading:visited {color:black; text-decoration:none}
166+
167+
a.heading:link:focus, a.heading:visited:focus {color:black; text-decoration:none}
168+
169+
</style>

0 commit comments

Comments
 (0)