help.html: assume even padding started out odd.
parent
6796daab79
commit
994ecb655b
|
@ -99,8 +99,8 @@ M: pathname url-of
|
|||
|
||||
R/ padding: \d+px;/ [
|
||||
"padding: " ?head drop "px;" ?tail drop
|
||||
string>number dup even? [ 1 + ] when 2 * number>string
|
||||
"padding: " "px;" surround
|
||||
string>number dup even? [ 2 * 1 + ] [ 2 * ] if
|
||||
number>string "padding: " "px;" surround
|
||||
] re-replace-with ;
|
||||
|
||||
: css-classes ( classes -- stylesheet )
|
||||
|
|
|
@ -28,8 +28,8 @@ img {
|
|||
|
||||
table {
|
||||
border-collapse: collapse;
|
||||
margin-top: 10px;
|
||||
margin-bottom: 10px;
|
||||
margin-top: 5px;
|
||||
margin-bottom: 5px;
|
||||
}
|
||||
|
||||
tr:hover {
|
||||
|
|
Loading…
Reference in New Issue