A new header that selects either left to right or right to left, depending on how head.wmi is called.
Jacob Appelbaum commited on 2008-08-04 23:46:34
Zeige 1 geänderte Dateien mit 2 Einfügungen und 1 Löschungen.
- include/head.wmi 0fc61879e..60526ebb5
| ... | ... |
@@ -15,7 +15,8 @@ |
| 15 | 15 |
<meta name="Author" content="Roger Dingledine" /> |
| 16 | 16 |
<ifneq "$(CHARSET)" "" "<meta http-equiv="content-type" content="text/html; charset=$(CHARSET)" />"> |
| 17 | 17 |
<ifeq "$(CHARSET)" "" "<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1" />"> |
| 18 |
- <link rel="stylesheet" type="text/css" href="$(DOCROOT)/stylesheet.css" /> |
|
| 18 |
+ <ifneq "$(STYLESHEET)" "" "<link rel="stylesheet" type="text/css" href="$(DOCROOT)/$(STYLESHEET)" />"> |
|
| 19 |
+ <ifeq "$(STYLESHEET)" "" "<link rel="stylesheet" type="text/css" href="$(DOCROOT)/stylesheet-ltr.css" />"> |
|
| 19 | 20 |
<link rel="shortcut icon" type="image/x-icon" href="$(DOCROOT)/favicon.ico" /> |
| 20 | 21 |
<ifneq "$(REDIRECT)" "" "<meta http-equiv="refresh" content="0;url=$(DOCROOT)/$(REDIRECT)" />"> |
| 21 | 22 |
</head> |
| 22 | 23 |