style/example.inc.php
author rejo
Sat, 03 May 2008 20:22:46 +0000
changeset 147 df8ec400e5a3
parent 82 c255196bc447
permissions -rw-r--r--
[feladat @ 253] Added a small explanation of the supported regular expression for the search field. This closes ticket:38 and ticket:47.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
     1
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
     2
/* RZ TODO: cleanup code */
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
     3
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
     4
body {
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
     5
        padding-left: 		5%;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
     6
        padding-right: 		5%;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
     7
	font-family: 		Verdana, Arial, Helvetica;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
     8
	font-size:		85%;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
     9
	text-align: 		left;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    10
	vertical-align: 	top;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    11
	background:		#f4f4f4;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    12
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    13
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    14
h1, h2, table, .menu, .footer	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    15
	border:			1px solid #000000;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    16
	padding:		3px;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    17
	background:		#ddeeff;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    18
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    19
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    20
p       {
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    21
        padding:                3px;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    22
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    23
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    24
table	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    25
	width:			100%;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    26
	font-family: 		Verdana, Arial, Helvetica;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    27
	font-size:		90%;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    28
	text-align: 		left;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    29
	vertical-align: 	top;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    30
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    31
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    32
img	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    33
	border:			0px;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    34
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    35
img .edit-assign-to-user	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    36
	margin-left:		47px;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    37
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    38
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    39
#meta {
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    40
        width:                  100%;
80
48b5f7021aaa [feladat @ 158]
peter
parents: 71
diff changeset
    41
	clear:			both;
13
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    42
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    43
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    44
#meta .button	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    45
	margin			0px 5px 0px 0px;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    46
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    47
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    48
#meta-left {
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    49
        float:                  left;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    50
        width:                  49%;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    51
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    52
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    53
#meta-right {
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    54
        float:                  right;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    55
        width:                  49%;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    56
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    57
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    58
td	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    59
        padding:                0px 2px 0px 2px;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    60
	vertical-align: 	top;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    61
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    62
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    63
td.y	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    64
	background:		#ffffff;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    65
	border:			1px solid #000000;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    66
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    67
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    68
.menu 	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    69
	font-size:		80%;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    70
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    71
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    72
.error	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    73
	background:		#ff0000;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    74
	color:			#ffffff;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    75
	padding:		3px;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    76
	font-size:		90%;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    77
	
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    78
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    79
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    80
.success	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    81
	background:		#00cc33;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    82
	padding:		3px;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    83
	font-size:		90%;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    84
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    85
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    86
.showmax	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    87
	font-size:		80%;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    88
	margin:			5px 0px 5px 0px;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    89
	text-align:		center;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    90
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    91
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    92
.lettertaken	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    93
	color:			#000000;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    94
	font-weight: 		bold;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    95
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    96
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    97
.letternotavailable	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    98
	color:			#999999;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
    99
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   100
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   101
a:link 		{ 
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   102
	color: 			#000000;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   103
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   104
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   105
a:visited 	{ 
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   106
	color: 			#000000;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   107
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   108
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   109
a:active 	{ 
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   110
	color: 			#000000;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   111
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   112
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   113
a:hover 	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   114
	text-decoration:	none;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   115
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   116
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   117
.footer	{
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   118
	font-size:		70%;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   119
	margin-top:		5px;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   120
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   121
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   122
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   123
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   124
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   125
.sbutton {
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   126
        border: 		#999999 1px solid;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   127
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   128
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   129
.button {
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   130
        border:			#999999 1px solid;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   131
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   132
.input {
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   133
        border:			#999999 1px solid;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   134
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   135
.sinput {
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   136
        border: 		#999999 1px solid;
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   137
}
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   138
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   139
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   140
82
c255196bc447 [feladat @ 182]
rejo
parents: 80
diff changeset
   141
textarea {
c255196bc447 [feladat @ 182]
rejo
parents: 80
diff changeset
   142
	width: 			100%;
c255196bc447 [feladat @ 182]
rejo
parents: 80
diff changeset
   143
}
c255196bc447 [feladat @ 182]
rejo
parents: 80
diff changeset
   144
input.wide {
c255196bc447 [feladat @ 182]
rejo
parents: 80
diff changeset
   145
	width: 			100%;
c255196bc447 [feladat @ 182]
rejo
parents: 80
diff changeset
   146
}
13
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   147
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   148
71
e1b918eaf69a [feladat @ 118]
peter
parents: 13
diff changeset
   149
<?php
13
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   150
include_once("../inc/config.inc.php");
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   151
?>
2ff220cfde13 [feladat @ 60]
rejo
parents:
diff changeset
   152