File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 6262 Internet Explorer. Since we're fighting for open systems and
6363 reproducibility we're unwilling to buy and install proprietary
6464 software that is nothing but a big bug.</div >
65+ <div id =" feedback" >
66+ <a href =" https://sems.uni-rostock.de/trac/combinearchive-web/newticket?from=WEBCAT-INTERFACE" alt =" feedback" ></a >
67+ </div >
6568 <div id =" templates" style =" display : none ;" >
6669 <div id =" template-navigation" >
6770
Original file line number Diff line number Diff line change 3232 <description >sets the persistent storage directory.</description >
3333 </context-param >
3434
35+ <context-param >
36+ <param-name >MAX_STATS_AGE</param-name >
37+ <param-value >180</param-value >
38+ </context-param >
39+
40+ <context-param >
41+ <param-name >FEEDBACK_URL</param-name >
42+ <param-value >https://sems.uni-rostock.de/trac/combinearchive-web/newticket?from=WEBCAT-INTERFACE</param-value >
43+ </context-param >
44+
3545 <context-param >
3646 <param-name >SEDML-WEBTOOLS</param-name >
3747 <param-value ></param-value >
Original file line number Diff line number Diff line change @@ -112,7 +112,44 @@ div.nav-container
112112.error-element {
113113 background-color : # FF9696
114114}
115-
115+ /* -------- Feedback Button -------- */
116+ # feedback {
117+ display : block;
118+ position : fixed;
119+ top : 35% ;
120+ left : 0 ;
121+ }
122+ # feedback a {
123+ display : block;
124+ width : 22px ;
125+ height : 81px ;
126+ padding : 5px ;
127+
128+ background : no-repeat scroll center # EEE ;
129+ background-image : url ('../feedback.png' );
130+ border : 2px dashed # 555 ;
131+ border-radius : 5px ;
132+ border-left : none;
133+ border-bottom-left-radius : 0 ;
134+ border-top-left-radius : 0 ;
135+
136+ text-decoration : none;
137+ color : # c00 ;
138+ font-weight : bold;
139+ font-size : 1.2em ;
140+ }
141+ # feedback a : hover {
142+ background-color : # c00 ;
143+ background-image : url ('../feedback-highlight.png' );
144+ color : # EEE ;
145+ }
146+ # feedback span {
147+ max-width : 1ch ;
148+ display : block;
149+ word-wrap : break-word;
150+ line-height : 0.9em ;
151+ }
152+
116153/* -------- Message Bar -------- */
117154# message-bar {
118155 width : 100% ;
You can’t perform that action at this time.
0 commit comments