Correction of SoC.css, adjust the look of the class index big letters.

This commit is contained in:
Jean-Paul Chaput 2014-06-10 00:04:48 +02:00
parent 1e1495e294
commit 6939025a0d
7 changed files with 48 additions and 18 deletions

View File

@ -1,12 +1,12 @@
#!/bin/sh
confFiles=""
confFiles="${confFiles} open.png"
confFiles="${confFiles} closed.png"
confFiles="${confFiles} jquery.js"
confFiles="${confFiles} dynsections.js"
#confFiles="${confFiles} open.png"
#confFiles="${confFiles} closed.png"
#confFiles="${confFiles} jquery.js"
#confFiles="${confFiles} dynsections.js"
confFiles="${confFiles} SoC.css"
confFiles="${confFiles} header.html"
#confFiles="${confFiles} header.html"
rootDir="${HOME}/coriolis-2.x/src/coriolis"
sourceToolDoc="${rootDir}/hurricane/doc/hurricane"

View File

@ -277,8 +277,13 @@
font-weight: bold;
}
div.ah, div.title {
/*font-family: time;*/
div.ah {
font-family: Times;
font-size: 300%;
font-weight: bold;
padding: 20px;
}
div.title {
text-align: center;
font-size: 200%;
font-weight: bold;

View File

@ -277,8 +277,13 @@
font-weight: bold;
}
div.ah, div.title {
/*font-family: time;*/
div.ah {
font-family: Times;
font-size: 300%;
font-weight: bold;
padding: 20px;
}
div.title {
text-align: center;
font-size: 200%;
font-weight: bold;

View File

@ -277,8 +277,13 @@
font-weight: bold;
}
div.ah, div.title {
/*font-family: time;*/
div.ah {
font-family: Times;
font-size: 300%;
font-weight: bold;
padding: 20px;
}
div.title {
text-align: center;
font-size: 200%;
font-weight: bold;

View File

@ -277,8 +277,13 @@
font-weight: bold;
}
div.ah, div.title {
/*font-family: time;*/
div.ah {
font-family: Times;
font-size: 300%;
font-weight: bold;
padding: 20px;
}
div.title {
text-align: center;
font-size: 200%;
font-weight: bold;
@ -286,7 +291,7 @@
border: 2px solid black;
}
div.center, div.image {
div.center {
text-align: center;
}

View File

@ -277,8 +277,13 @@
font-weight: bold;
}
div.ah, div.title {
/*font-family: time;*/
div.ah {
font-family: Times;
font-size: 300%;
font-weight: bold;
padding: 20px;
}
div.title {
text-align: center;
font-size: 200%;
font-weight: bold;

View File

@ -277,8 +277,13 @@
font-weight: bold;
}
div.ah, div.title {
/*font-family: time;*/
div.ah {
font-family: Times;
font-size: 300%;
font-weight: bold;
padding: 20px;
}
div.title {
text-align: center;
font-size: 200%;
font-weight: bold;