suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix techlinks again

Browse Source 
svn: r10444
This commit is contained in:
Eli Barzilay 2008-06-24 18:42:05 +00:00
parent b33cd21717
commit a23c84175c
1 changed files with 16 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
collects/scribble/scribble.css
View File

@ -2,7 +2,7 @@
/* CSS seems backward: List all the classes for which we want a /* CSS seems backward: List all the classes for which we want a
particular font, so that the font can be changed in one place. (It particular font, so that the font can be changed in one place. (It
would be nicer to reference a font definition from all the places would be nicer to reference a font definition from all the places
that we want it.) that we want it.)
As you read the rest of the file, remember to double-check here to As you read the rest of the file, remember to double-check here to
see if any font is set. */ see if any font is set. */
@ -51,12 +51,12 @@ table td {
/* ---------------------------------------- */ /* ---------------------------------------- */
/* Navigation */ /* Navigation */
.navleft { .navleft {
position: relative; position: relative;
float: left; float: left;
white-space: nowrap; white-space: nowrap;
} }
.navright { .navright {
position: relative; position: relative;
float: right; float: right;
white-space: nowrap; white-space: nowrap;
@ -201,11 +201,11 @@ font-weight: bold;
margin: 0.2em 0.2em 0.2em 0.2em; margin: 0.2em 0.2em 0.2em 0.2em;
} }
.sepspace { .sepspace {
font-size: 40%; font-size: 40%;
} }
.septitle { .septitle {
font-size: 70%; font-size: 70%;
} }
@ -375,7 +375,7 @@ i {
background-color: #E8E8FF; background-color: #E8E8FF;
} }
.inlinetop{ .inlinetop{
display: inline; display: inline;
vertical-align: top; vertical-align: top;
} }
@ -437,23 +437,15 @@ i {
color: blue; color: blue;
} }
.techoutside { .techoutside { text-decoration: underline; color: #d0d0d0; }
text-decoration: underline; .techoutside:hover { text-decoration: underline; color: blue; }
color: #d0d0d0;
}
.techoutside:hover { /* .techinside:hover doesn't work with FF, .techinside:hover>
text-decoration: underline; .techinside doesn't work with IE, so use both (and IE doesn't
color: blue; work with inherit in the second one, so use blue directly) */
} .techinside { color: black; }
.techinside:hover { color: blue; }
.techinside { .techoutside:hover>.techinside { color: inherit; }
color: black;
}
.techinside:hover {
color: blue;
}
.bibliography td { .bibliography td {
vertical-align: top; vertical-align: top;
@ -464,7 +456,7 @@ i {
margin-right: 0.3em; margin-right: 0.3em;
} }
.smaller{ .smaller{
font-size: 82%; font-size: 82%;
} }
@ -474,7 +466,7 @@ i {
font-size: 1px; font-size: 1px;
} }
.compact li p { .compact li p {
margin: 0 0 0 0; margin: 0 0 0 0;
padding: 0 0 0 0; padding: 0 0 0 0;
} }