2014-07-17 15:38:41 +02:00
|
|
|
/**
|
2014-12-11 23:42:22 +01:00
|
|
|
* This is just an empty theme.
|
2014-07-17 15:38:41 +02:00
|
|
|
*/
|
|
|
|
|
|
|
|
body {
|
2016-02-17 19:38:42 +01:00
|
|
|
margin: 0;
|
2014-07-17 15:38:41 +02:00
|
|
|
}
|
2016-09-17 19:13:01 +02:00
|
|
|
|
|
|
|
.signed-out #main {
|
|
|
|
left: 5px;
|
|
|
|
}
|