style changes in Planet 2 PNS

This commit is contained in:
Jay McCarthy 2012-11-08 12:50:58 -07:00
parent 7ed39caa93
commit 1df7f6b2e4
2 changed files with 21 additions and 40 deletions

View File

@ -537,21 +537,7 @@
`(input ([name "name"]
[type "text"]
[value ,(or pkg-name "")]))
`(span ,pkg-name
(br)
(span ([class "tooltip"])
(a ([href "javascript:0;"])
"(install instructions)")
(span
"Install this package with:" (br) (br)
(tt "raco pkg install " ,pkg-name) (br) (br)
"or, by evaluating:" (br)
(pre
,(format "~a\n~a\n~a\n"
"#lang racket"
"(require planet2)"
(format "(install \"~a\")"
pkg-name)))))))))
pkg-name)))
(tr
(td "Author")
(td (a ([href ,(main-url page/search
@ -577,15 +563,15 @@
(tr
(td "Last Checked")
(td ,(format-time (package-ref* i 'last-checked #f))))
(tr
(td "Last Edit")
(td ,(format-time (package-ref* i 'last-edit #f))))
(tr
(td "Description")
(td ,(if edit-details
`(textarea ([name "description"])
,(package-ref* i 'description ""))
(package-ref i 'description))))
(tr
(td "Last Edit")
(td ,(format-time (package-ref* i 'last-edit #f))))
(tr
(td "Tags")
(td
@ -605,7 +591,17 @@
`(div
([class "package"])
(form ([action ,(embed/url form-handler)] [method "post"])
,the-table))))))
,the-table)
(div ([class "install"])
"Install this package with:" (br) (br)
(tt "raco pkg install " ,pkg-name) (br) (br)
"or, by evaluating:" (br)
(pre
,(format "~a\n~a\n~a\n"
"#lang racket"
"(require planet2)"
(format "(install \"~a\")"
pkg-name)))))))))
(define (page/manage/update req)
(update-checksums

View File

@ -94,7 +94,7 @@ table.packages tbody tr:nth-child(2n) {
.package table tr:nth-child(3) td {
height: 2.5em;
}
.package table tr:nth-child(7) td {
.package table tr:nth-child(8) td {
height: 3.5em;
}
.package table td:nth-child(1) {
@ -123,26 +123,11 @@ table.packages tbody tr:nth-child(2n) {
padding-right: 3em;
}
span.tooltip {
position: relative;
}
span.tooltip > a + span {
display: none;
}
span.tooltip > a:hover {
font-size: 99%;
font-color: #000000;
}
span.tooltip > a:hover + span {
display: block;
position: absolute;
margin-top: 10px;
margin-left: -10px;
width: 250px; padding: 5px;
z-index: 100;
div.install {
width: 50%;
margin-left: 25%;
margin-right: 25%;
padding: 1em;
background: #F5F5DC;
text-align: left;
}