Commit 4b71846a authored by François Bobot's avatar François Bobot
Browse files

[CSS] change size of the font 11px -> 14px

parent 26909ab9
......@@ -14,12 +14,13 @@ let () = Generate.page main [
md "
The Soprano project is funded by the [The French National Research Agency]\
(http://www.agence-nationale-recherche.fr/en/\
project-based-funding-to-advance-french-research/)(ANR). Its main objective is
project-based-funding-to-advance-french-research/) (ANR). Its main objective is
to improve the reasonning power of current software verification tools in order
to make them more powerful, more efficient and easier to use.
During this project, we will design a new framework for the
cooperation of solvers, focused on model generation and borrowing
During this project, a new framework for the
cooperation of solvers we will be designed. It will focused on model
generation and borrowing
principles from SMT (current standard) and CP (well-known in
optimization).
Our main scientific and technical objectives are the following.
......
......@@ -17,7 +17,7 @@ h1 {
color:#ccc;
}
p {
font:11px/20px verdana, arial, helvetica, sans-serif;
font:14px/20px verdana, arial, helvetica, sans-serif;
margin:0px 0px 16px 0px;
padding:0px;
}
......@@ -26,7 +26,7 @@ p {
a {
color:#09c;
font-size:11px;
font-size:14px;
text-decoration:none;
font-weight:600;
font-family:verdana, arial, helvetica, sans-serif;
......
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Home</title><meta charset="utf-8" /><link rel="stylesheet" href="css/main.css" /><link rel="stylesheet" href="css/lambdoc.css" /></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Home</div><div id="Content"><div class="readable_div"><img src="images/general.svg" alt="General context" style="margin: 20px; float: right;" /><div class="doc doc_valid"><p class="doc_par">The Soprano project is funded by the <a class="doc_lnk" href="http://www.agence-nationale-recherche.fr/en/project-based-funding-to-advance-french-research/">The French National Research Agency</a>(ANR). Its main objective is to improve the reasonning power of current software verification tools in order to make them more powerful, more efficient and easier to use.</p><p class="doc_par">During this project, we will design a new framework for the cooperation of solvers, focused on model generation and borrowing principles from SMT (current standard) and CP (well-known in optimization). Our main scientific and technical objectives are the following. The first objective is to design a new collaboration framework for solvers, centered around synthesis rather than satisfiability and allowing cooperation beyond that of Nelson-Oppen while still providing minimal interfaces with theoretical guarantees. The second objective is to design new decision procedures for industry-relevant and hard-to-solve theories. The third objective is to implement these results in a new open-source platform. The fourth objective is to ensure industrial-adequacy of the techniques and tools developed through periodical evaluations from the industrial partners.</p></div></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br /><a href="partners.html" title="Members of the project">Partners</a><br /><a href="jobs.html" title="Job opportunities">Jobs</a><br /><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br /><a href="meetings.html" title="Meetings">Meetings</a><br /><a href="publications.html" title="Publications">Publications</a><br /><a href="software.html" title="Software">Software</a><br /></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Home</title><meta charset="utf-8" /><link rel="stylesheet" href="css/main.css" /><link rel="stylesheet" href="css/lambdoc.css" /></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Home</div><div id="Content"><div class="readable_div"><img src="images/general.svg" alt="General context" style="margin: 20px; float: right;" /><div class="doc doc_valid"><p class="doc_par">The Soprano project is funded by the <a class="doc_lnk" href="http://www.agence-nationale-recherche.fr/en/project-based-funding-to-advance-french-research/">The French National Research Agency</a> (ANR). Its main objective is to improve the reasonning power of current software verification tools in order to make them more powerful, more efficient and easier to use.</p><p class="doc_par">During this project, a new framework for the cooperation of solvers we will be designed. It will focused on model generation and borrowing principles from SMT (current standard) and CP (well-known in optimization). Our main scientific and technical objectives are the following. The first objective is to design a new collaboration framework for solvers, centered around synthesis rather than satisfiability and allowing cooperation beyond that of Nelson-Oppen while still providing minimal interfaces with theoretical guarantees. The second objective is to design new decision procedures for industry-relevant and hard-to-solve theories. The third objective is to implement these results in a new open-source platform. The fourth objective is to ensure industrial-adequacy of the techniques and tools developed through periodical evaluations from the industrial partners.</p></div></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br /><a href="partners.html" title="Members of the project">Partners</a><br /><a href="jobs.html" title="Job opportunities">Jobs</a><br /><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br /><a href="meetings.html" title="Meetings">Meetings</a><br /><a href="publications.html" title="Publications">Publications</a><br /><a href="software.html" title="Software">Software</a><br /></div></body></html>
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment