GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 19:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

gfse & minibar: minor style adjustments

Browse Source
This commit is contained in:
hallgren
2012-02-29 17:37:13 +00:00
parent 01404e579c
commit b727e676b4
3 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/www/gfse/editor.css
View File

@@ -1,6 +1,8 @@
body { color: black; background: #eee; } body { color: black; background: #eee; }
h1 { font-size: 175%; } h1 { font-size: 175%; }
h1,h2,h3,h4,small { font-family: sans-serif; } h1,h2,h3,h4,small { font-family: sans-serif;}
h1,h2,h3,h4 { color: #303030; text-shadow: rgba(0,0,0,0.25) 3px 3px 5px; }
h1:first-child, h2:first-child { margin-top: 0; margin-bottom: 1ex; } h1:first-child, h2:first-child { margin-top: 0; margin-bottom: 1ex; }
#editor { #editor {

6
src/www/minibar/about.html
View File

@@ -175,9 +175,9 @@ Some implementation details:
</ul> </ul>
<hr> <hr>
<small class=modtime> <div class=modtime><small>
<!-- hhmts start --> Last modified: Wed Feb 29 17:59:56 CET 2012 <!-- hhmts end --> <!-- hhmts start --> Last modified: Wed Feb 29 18:27:59 CET 2012 <!-- hhmts end -->
</small> </small></div>
<address> <address>
<a href="http://www.cse.chalmers.se/~hallgren/">TH</a> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a>
<img src="http://www.altocumulus.org/~hallgren/online.cgi?icon" alt=""> <img src="http://www.altocumulus.org/~hallgren/online.cgi?icon" alt="">

2
src/www/minibar/minibar.css
View File

@@ -3,6 +3,7 @@ body.minibar {
} }
h1, h2, h3, small, th { font-family: sans-serif; } h1, h2, h3, small, th { font-family: sans-serif; }
h1, h2, h3 { color: #303030; text-shadow: rgba(0,0,0,0.25) 3px 3px 5px; }
th, td { vertical-align: baseline; text-align: left; } th, td { vertical-align: baseline; text-align: left; }
@@ -28,6 +29,7 @@ div.word, span.word, div#words div, div#words input[type=button] {
border: 1px solid black; border: 1px solid black;
padding: 3px; padding: 3px;
margin: 3px; margin: 3px;
box-shadow: 2px 2px 4px rgba(0,0,0,0.3);
} }
.invalid { color: red; } .invalid { color: red; }