Ver a proveniência

More adjustments.

pull/24/head
Ben Kurtovic há 12 anos
ascendente
cometimento
3cf62618b2
2 ficheiros alterados com 10 adições e 6 eliminações
  1. +1
    -1
      pages/settings.mako
  2. +9
    -5
      static/css/main.css

+ 1
- 1
pages/settings.mako Ver ficheiro

@@ -2,12 +2,12 @@
<%namespace module="toolserver.settings" import="main"/>\ <%namespace module="toolserver.settings" import="main"/>\
<%! from json import dumps, loads %> <%! from json import dumps, loads %>
<% bot, cookies, status, langs, projects = main(environ, headers) %> <% bot, cookies, status, langs, projects = main(environ, headers) %>
<h1>Settings</h1>
% if status: % if status:
<div class="green-box"> <div class="green-box">
<p>${status}</p> <p>${status}</p>
</div> </div>
% endif % endif
<h1>Settings</h1>
<p>This page contains some configurable options for this Toolserver site. Settings are saved as cookies. You can view and delete all cookies generated by this site at the bottom of this page.</p> <p>This page contains some configurable options for this Toolserver site. Settings are saved as cookies. You can view and delete all cookies generated by this site at the bottom of this page.</p>
<form action="${environ['PATH_INFO']}" method="post"> <form action="${environ['PATH_INFO']}" method="post">
<input type="hidden" name="action" value="set"> <input type="hidden" name="action" value="set">


+ 9
- 5
static/css/main.css Ver ficheiro

@@ -11,6 +11,10 @@ ul, ol {
line-height: 1.5; line-height: 1.5;
} }


h1, h2, h3, h4, h5, h6 {
margin-top: 0.30em;
}

div#header { div#header {
margin: 30px 60px 30px 60px; margin: 30px 60px 30px 60px;
padding: 2px 15px 2px 15px; padding: 2px 15px 2px 15px;
@@ -21,7 +25,7 @@ div#header {
div#container { div#container {
line-height: 1.25; line-height: 1.25;
margin: 0 60px 100px 60px; margin: 0 60px 100px 60px;
padding: 5px 15px 10px 15px;
padding: 15px 15px 15px 15px;
border: 1px solid #777; border: 1px solid #777;
background-color: #FFF; background-color: #FFF;
} }
@@ -81,15 +85,15 @@ div.divider {
div.green-box { div.green-box {
padding: 0 10px 0 10px; padding: 0 10px 0 10px;
margin: 0 5px 10px 5px; margin: 0 5px 10px 5px;
background-color: #FEE;
border: 1px solid #F77;
background-color: #EFE;
border: 1px solid #7F7;
} }


div.red-box { div.red-box {
padding: 0 10px 0 10px; padding: 0 10px 0 10px;
margin: 0 5px 10px 5px; margin: 0 5px 10px 5px;
background-color: #EFE;
border: 1px solid #7F7;
background-color: #FEE;
border: 1px solid #F77;
} }


div.indentable { div.indentable {


Carregando…
Cancelar
Guardar